genode/repos/os/run/nic_router_dhcp_managed.run

#
# See os/src/test/nic_router_dhcp/README for a documentation.
#

proc nic_router_2_managed { } { return 1 }
source ${genode_dir}/repos/os/run/nic_router_dhcp.inc
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-11-16 14:43:40 +00:00			`#`
			`# See os/src/test/nic_router_dhcp/README for a documentation.`
			`#`

			`proc nic_router_2_managed { } { return 1 }`
			`source ${genode_dir}/repos/os/run/nic_router_dhcp.inc`