mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-30 07:36:47 +00:00
The kernel timer used to truncated timeouts to the next lower millisecond, which not only limits the wakeup accuracy but also results in situations where a user-level timeout is triggered earlier than expected. The latter effect results in the observation of a spurious timeouts and the subsequent programming of another timeout. The patch solves the problem by preserving the sub-milliseconds bits in the 'us_to_ticks' implementation(s). Issue #5142