mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 14:37:50 +00:00
a0290f8c51
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 |
||
---|---|---|
.. | ||
board | ||
etc | ||
include | ||
lib/mk | ||
recipes | ||
run | ||
src |