mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 11:50:24 +00:00
a5eb198549
This patch promotes the event of an exiting child to become immediately reported, reducing delays for management components that watch the exit status of children. Fixes #4814
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.