genode

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

History

Martin Stein d62c3117de run/timeout: test if maximum timeouts trigger bugs

Create periodic and one-shot timeouts with the maximum duration
to see if triggers any corner-case bugs. They must not trigger during
the test.

Ref #2490

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

doc

Remove obsolete RAM/CAP services from run scripts

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

include

alarm: fix information loss due to int-cast

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

lib

sd_card: cleanup driver library structure

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

recipes

depot: recipe for rump/file_system

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

run

nic_router & timer* tests: prioritize timer driver

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

src

run/timeout: test if maximum timeouts trigger bugs

2017-10-05 17:39:57 +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.