mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-27 14:49:31 +00:00
bff624c75a
At least on some PIT-based platforms (x86_32 + pistachio/okl4/sel4), we run into trouble with the reworked timeout framework that now proccesses all pending timeouts before calling their handlers. This order change leads to a higher rate of handling of short periodic timeouts in the timer driver which can cause lower prioritized components to starve. Especially, if submitting signals (from timer to client) isn't cheap (as is the case on qemu + pistachio for example). Issue #3884
This directory contains all source codes.