genode

History

Christian Helmuth 17d32b3e15 depot: update recipe hashes		2019-07-09 09:06:54 +02:00
..
doc	Remove obsolete RAM/CAP services from run scripts	2017-05-31 13:16:22 +02:00
include	terminal: clipboard support	2019-07-09 08:58:38 +02:00
lib	os: name tz_vmm unambigously (ref #2190 )	2019-05-27 14:46:53 +02:00
recipes	depot: update recipe hashes	2019-07-09 09:06:54 +02:00
run	run: enable 'imx7d_sabre' in network tests	2019-07-09 08:58:38 +02:00
src	clipboard: allow for dynamic reconfiguration	2019-07-09 08:58:38 +02:00
xsd	timeout: use uint64_t for all plain time values	2019-05-06 16:15:26 +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.