genode/repos/os/src
Martin Stein bad8caee3f nic_router: support multiple DHCP option 6 entries
* The NIC router now considers, memorizes, and, if configured, reports
  multiple DHCP option 6 entries from DHCP replies that it received as DHCP
  client
* A DHCP server at the NIC router can now be configured statically with
  multiple DNS server addresses to propagate
* The 'dns_server_from' attribute of the DHCP server of the NIC router now
  supports the forwarding of multiple DNS server addresses
* The automated run/nic_router_dhcp test tests all the above mentioned new
  functionality and reconfiguring it at runtime. The test was added to the
  autopilot.
* All run scripts were adapted to fit the new NIC router configuration
  interface

Fixes #3952
2020-12-09 14:02:10 +01:00
..
app cpu_burner: utilize all assigned CPUs 2020-11-27 09:19:08 +01:00
drivers platform_drv: free ever non PCI devices on close 2020-11-27 09:19:09 +01:00
init base: extend PD session with managing_system call 2020-08-25 11:50:11 +02:00
lib os: Refer to ::Sandbox::Child explicitly. 2020-11-23 12:02:59 +01:00
server nic_router: support multiple DHCP option 6 entries 2020-12-09 14:02:10 +01:00
test nic_router: support multiple DHCP option 6 entries 2020-12-09 14:02:10 +01:00