diff --git a/repos/os/run/sd_card.run b/repos/os/run/sd_card.run index 6e8a58f1d6..187a8ebe38 100644 --- a/repos/os/run/sd_card.run +++ b/repos/os/run/sd_card.run @@ -51,7 +51,7 @@ install_config { - service name="LOG"> + @@ -76,7 +76,7 @@ if { [file exists $disk_image] == 0 } then { catch { exec dd if=/dev/zero of=$disk_image bs=1M count=512 } } append qemu_args "-drive file=$disk_image,format=raw,if=sd,cache=writeback -nographic " -run_genode_until forever +run_genode_until {.*child "block_tester" exited with exit value 0.*\n} 30 exec rm $disk_image