genode

History

Martin Stein 2a77976164 nic_router: add verbose_packets per domain A domain logs its packets if one of the global 'verbose_packets' or its local 'verbose_packets' is switched on. Ref #2670		2018-03-29 15:20:20 +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: add verbose_packets per domain	2018-03-29 15:20:20 +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.