diff --git a/repos/os/run/nic_router_dhcp.inc b/repos/os/run/nic_router_dhcp.inc index acb1bca4e6..317ef8112a 100644 --- a/repos/os/run/nic_router_dhcp.inc +++ b/repos/os/run/nic_router_dhcp.inc @@ -353,4 +353,4 @@ append done_string ".* DNS domain name: genode.org.*\n" } -run_genode_until $done_string 35 +run_genode_until $done_string 60