mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 23:42:32 +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. |
||
---|---|---|
.. | ||
config | ||
etc | ||
lib | ||
patches | ||
ports | ||
recipes/src/base-fiasco | ||
src | ||
README |
This repository contains the L4/Fiasco-specific implementation of Genode.