genode

History

Martin Stein 322bacd380 timeout_types.xsd: Minutes type Ref #3448 Ref #3450		2019-08-21 12:37:02 +02:00
..
doc	Remove obsolete RAM/CAP services from run scripts	2017-05-31 13:16:22 +02:00
include	rtc: extended session with set-signal	2019-08-21 12:37:01 +02:00
lib	os: name tz_vmm unambigously (ref #2190 )	2019-05-27 14:46:53 +02:00
recipes	rtc_drv: add support for setting RTC	2019-08-13 12:02:03 +02:00
run	smbios_decoder: XML report from SMBIOS table ROM	2019-08-13 12:02:26 +02:00
src	rtc_drv: implement set signal handling	2019-08-21 12:37:01 +02:00
xsd	timeout_types.xsd: Minutes type	2019-08-21 12:37:02 +02:00
README	API documentation refinements	2017-05-31 13:16:21 +02:00

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