genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 10:01:57 +00:00

History

Martin Stein 3f37a12e2d timer connection: fix mixing of time sources

We update the alarm-scheduler time with results of
Timer::Connection::curr_time when we schedule new timeouts but when
handling the signal from the Timer server we updated the alarm-scheduler
time with the result of Timer::Connection::elapsed_us.  Mixing times
like this could cause a non-monotone time value in the alarm scheduler.
The alarm scheduler then thought that the time value wrapped and
triggered all timeouts immediately. The problem was fixed by always
using Timer::Connection::curr_time as time source.

Ref #2490

2017-10-05 17:40:02 +02:00

doc

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

include

terminal: cursor-key handling w/o set key layout

2017-10-05 17:39:59 +02:00

lib

sd_card: cleanup driver library structure

2017-06-29 11:59:58 +02:00

recipes

drivers_interactive-pc: increase key-repeat rate

2017-10-05 17:40:02 +02:00

run

nic_router & timer* tests: prioritize timer driver

2017-09-07 11:47:15 +02:00

src

timer connection: fix mixing of time sources

2017-10-05 17:40:02 +02:00

README

API documentation refinements

2017-05-31 13:16:21 +02:00

README

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