diff --git a/repos/os/run/tz_vmm.run b/repos/os/run/tz_vmm.run index 64f213d97..6b2dcbea7 100644 --- a/repos/os/run/tz_vmm.run +++ b/repos/os/run/tz_vmm.run @@ -64,6 +64,7 @@ set serial_id [output_spawn_id] send -i $serial_id "sleep 5\n" send -i $serial_id "wget http://genode.org/\n" -run_genode_until "Connecting to genode.org.*index.html.*\/ #.*" 30 $serial_id +run_genode_until "Connecting to genode.org" 10 $serial_id +run_genode_until {.*\/ #.*} 30 $serial_id exec rm bin/initrd.gz bin/initrd.gz.md5 bin/linux bin/linux.md5