diff --git a/repos/libports/run/nic_router.run b/repos/libports/run/nic_router.run index f5b82a280..270f54e04 100644 --- a/repos/libports/run/nic_router.run +++ b/repos/libports/run/nic_router.run @@ -47,7 +47,7 @@ create_boot_directory proc gpio_drv_config { } { if {[have_spec gpio]} { append result { - + } @@ -58,7 +58,7 @@ proc gpio_drv_config { } { proc nic_drv_config { } { if {[nic_drv] == "nic_drv"} { append result { - + @@ -67,7 +67,7 @@ proc nic_drv_config { } { } if {[nic_drv] == "usb_drv"} { append result { - + @@ -95,7 +95,7 @@ proc ram_quota { prot } { proc client_config { prot index ip_addr gateway netmask nic srv_port srv_ip } { append result { - + @@ -113,7 +113,7 @@ proc client_config { prot index ip_addr gateway netmask nic srv_port srv_ip } { proc server_config { prot index ip_addr gateway netmask nic port } { append result { - + @@ -166,7 +166,7 @@ proc test_6_config { } { } append config { - + @@ -188,12 +188,13 @@ append config { } [nic_drv_config] { } [platform_drv_config] { - + + - + @@ -240,7 +241,7 @@ append config { - + @@ -285,4 +286,4 @@ proc nic_qemu_args { } { append qemu_args "-nographic -net user [nic_qemu_args]" -run_genode_until {.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n} 60 +run_genode_until {.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n} 80 diff --git a/repos/os/run/timer.run b/repos/os/run/timer.run index 99e7f1901..81024b9f6 100644 --- a/repos/os/run/timer.run +++ b/repos/os/run/timer.run @@ -12,7 +12,7 @@ create_boot_directory # Define XML configuration for init install_config { - + @@ -26,11 +26,11 @@ install_config { - + - + diff --git a/repos/os/run/timer_accuracy.run b/repos/os/run/timer_accuracy.run index f1b0c1de2..4f7940df3 100644 --- a/repos/os/run/timer_accuracy.run +++ b/repos/os/run/timer_accuracy.run @@ -6,7 +6,7 @@ create_boot_directory # define XML configuration for init install_config { - + @@ -21,11 +21,12 @@ install_config { - + + - +