denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

sd_card.run: fix broken config and automate

Browse Source 
Fixes #4925
This commit is contained in:
Martin Stein
2023-06-07 19:16:09 +02:00
committed by Norman Feske
parent cc99646b23
commit 45e5a33b26
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/os/run/sd_card.run
View File

@@ -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