mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 06:31:10 +00:00
3ea910bf83
The wakeup call only emits a single signal as it assumed both are handled by the same signal handler. However, the original implementation did not reset the wakeup_needed variable properly. genodelabs/genode#4555
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.