genode/repos/os/src
Martin Stein fec53690d7 nic_router: get DNS server from dynamic IP config
If available, read and remember DNS server address from DHCP replies per
domain.

Issue #2730
2018-03-29 16:13:22 +02:00
..
app trace_subject_reporter: fix missing include 2018-02-09 13:34:23 +01:00
drivers platform_drv/x86: Switch to ECAM/MMCONF 2018-03-29 14:59:04 +02:00
init init config.xsd: add ld_verbose attribute 2018-02-09 13:34:19 +01:00
lib vfs lib: complain about unsuccessful fs packets 2018-02-15 10:22:08 +01:00
server nic_router: get DNS server from dynamic IP config 2018-03-29 16:13:22 +02:00
test os: util/utf8.h for UTF-8 string handling 2018-03-27 13:44:27 +02:00