genode/repos/os
Martin Stein f152e3e9d0 timeout: dequeue all pending alarms before reschedule
This fixes the problem that large timeouts, when rescheduled, are interpreted
to be from the last now_period instead of, what would be right, the next
now_period. This occured if there were multiple pending alarms at the head of
the queue and the reschedule of the first one was done with the other outdated
deadlines still in place.

Issue #2704
2018-04-10 11:11:55 +02:00
..
doc Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
include timeout: dequeue all pending alarms before reschedule 2018-04-10 11:11:55 +02:00
lib net: ICMP protocol 2018-04-10 11:11:52 +02:00
recipes depot: update recipe hashes 2018-03-29 14:59:07 +02:00
run Notification support for the VFS library 2018-04-10 11:11:51 +02:00
src timeout: dequeue all pending alarms before reschedule 2018-04-10 11:11:55 +02:00
README API documentation refinements 2017-05-31 13:16:21 +02:00

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.