genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-23 18:50:29 +00:00

History

Martin Stein 68cd5e8004 nic_router & timer* tests: prioritize timer driver

The timer driver should always be of the highest priority to avoid
problem with timers that have low max-counter values like the PIT
with only 53 ms.

Ref #2400

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

doc

Remove obsolete RAM/CAP services from run scripts

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

include

os: add Gpu driver for Intel Gen8 HD graphics

2017-08-30 09:59:57 +02:00

lib

sd_card: cleanup driver library structure

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

recipes

depot: update recipe hashes

2017-08-30 12:41:43 +02:00

run

nic_router & timer* tests: prioritize timer driver

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

src

nic_dump: link state and mac address

2017-08-30 10:01: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.