genode

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

History

Martin Stein 6dfb903bd0 timer connection: always work with microseconds

As the timer session now provides a method 'elapsed_us', there is no more need
for doing any internal calculations with values of milliseconds.

Ref #2400

2017-08-23 14:08:36 +02:00

doc

Remove obsolete RAM/CAP services from run scripts

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

include

timer connection: always work with microseconds

2017-08-23 14:08:36 +02:00

lib

sd_card: cleanup driver library structure

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

recipes

depot: update recipe hashes

2017-08-18 10:25:28 +02:00

run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

src

timer connection: always work with microseconds

2017-08-23 14:08:36 +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.