genode

History

Martin Stein 44dd55a268 nic_router: destroy_each for domain tree List method to destruct and deallocate each item of a domain tree. Ref #2670		2018-03-29 15:24:02 +02:00
..
doc	Remove obsolete RAM/CAP services from run scripts	2017-05-31 13:16:22 +02:00
include	os: util/utf8.h for UTF-8 string handling	2018-03-27 13:44:27 +02:00
lib	net-stat: remove as it is not used and outdated	2018-01-17 12:14:42 +01:00
recipes	depot: update recipe hashes	2018-03-29 14:59:07 +02:00
run	demo: test demo scenario bootup by autopilot	2018-03-29 14:59:06 +02:00
src	nic_router: destroy_each for domain tree	2018-03-29 15:24: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.