mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 18:22:41 +00:00
bd58bd8279
Before scheduling we check if the execlist is empty. When many clients are present, the bits might not be cleared by hardware yet. Before the watchdog timer would trigger, because we scheduled nothing. Now we try serval times, even if this fails, we still schedule because in the worst case only a preemption would happen. issue #4820
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.