genode

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

History

Martin Stein df71e02ef6 alarm: fix bug in _setup_alarm

We did not set the correct now_period previously but it wasn't conspicuous
because the bug triggered not before a full period had passed which on most
platforms is a pretty long time.

Ref #2490

2017-10-19 13:29:41 +02:00

doc

Remove obsolete RAM/CAP services from run scripts

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

include

timer: limit rate of handling timeouts

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

lib

sd_card: cleanup driver library structure

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

recipes

import chroot from world repository

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

run

nic_router & timer* tests: prioritize timer driver

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

src

alarm: fix bug in _setup_alarm

2017-10-19 13:29:41 +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.