diff --git a/run/remote_rom_backend_nic_ip.run b/run/remote_rom_backend_nic_ip.run index d9e2a99..91c54ea 100644 --- a/run/remote_rom_backend_nic_ip.run +++ b/run/remote_rom_backend_nic_ip.run @@ -58,7 +58,7 @@ install_config { - + @@ -107,7 +107,7 @@ install_config { - + @@ -130,18 +130,8 @@ append qemu_args " -nographic " run_genode_until {.*change \(finished\).*} 30 -grep_output {init -> rom_logger} +grep_output { rom_logger] ROM 'remote': -[init -> rom_logger] -[init -> rom_logger] -[init -> rom_logger] ROM 'remote': -[init -> rom_logger] -[init -> rom_logger] -[init -> rom_logger] ROM 'remote': [init -> rom_logger] -[init -> rom_logger] -[init -> rom_logger] ROM 'remote': [init -> rom_logger] -[init -> rom_logger] } diff --git a/run/remote_rom_backend_nic_ip_client.run b/run/remote_rom_backend_nic_ip_client.run index 72b7ec9..d297029 100644 --- a/run/remote_rom_backend_nic_ip_client.run +++ b/run/remote_rom_backend_nic_ip_client.run @@ -39,7 +39,7 @@ install_config { - + diff --git a/run/remote_rom_backend_nic_ip_server.run b/run/remote_rom_backend_nic_ip_server.run index 27f45b7..85aeaf7 100644 --- a/run/remote_rom_backend_nic_ip_server.run +++ b/run/remote_rom_backend_nic_ip_server.run @@ -56,7 +56,7 @@ install_config { - +