mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
480c0a7dee
Errors during IPC receive-and-wait can occur at the server side when a client is killed. This condition is not an error from the server's perspective. We used to print a message nevertheless, since the condition is rather exceptional. However, when printed during the test-sequence test, the messages interfere with the pattern matching of the depot_autopilot, flagging the successful test as an error.
This repository contains the L4/Fiasco-specific implementation of Genode.