genode

History

Norman Feske a4b543bc80 init: avoid repeated config XML parsing		2017-08-28 16:49:37 +02:00
..
doc	Remove obsolete RAM/CAP services from run scripts	2017-05-31 13:16:22 +02:00
include	timer connection: fast initial calibration	2017-08-23 14:08:37 +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	run/init: test abandoned any-child routes	2017-08-28 16:49:35 +02:00
src	init: avoid repeated config XML parsing	2017-08-28 16:49:37 +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.