From 45e5a33b26da406ebff43cb31c4c58dc65aa0929 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 7 Jun 2023 19:16:09 +0200
Subject: [PATCH] sd_card.run: fix broken config and automate

Fixes #4925
---
 repos/os/run/sd_card.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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="PD">  <parent/> </service>
 			<service name="RM">  <parent/> </service>
 			<service name="CPU"> <parent/> </service>
-			service name="LOG"> <parent/> </service>
+			<service name="LOG"> <parent/> </service>
 			<any-service> <any-child/> </any-service>
 		</route>
 	</start>
@@ -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