genode

History

Martin Stein e213b9046d nic_router: inform clients on DNS server change If the remote DNS server address value of a DHCP server changes, the affected interfaces do a link down/up to inform all DHCP clients that they should re-request their DHCP info. Issue #2730		2018-04-10 11:06:00 +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: inform clients on DNS server change	2018-04-10 11:06:00 +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.