noux_fork: fix run script

Fixes #2251
This commit is contained in:
Christian Prochaska 2017-01-20 16:32:29 +01:00 committed by Norman Feske
parent 47a129c6af
commit d2a2893959

View File

@ -1,5 +1,6 @@
build { build {
core init server/log_terminal noux/minimal lib/libc_noux test/noux_fork core init drivers/timer server/log_terminal noux/minimal lib/libc_noux
test/noux_fork
} }
create_boot_directory create_boot_directory
@ -20,6 +21,10 @@ install_config {
<default-route> <default-route>
<any-service> <any-child/> <parent/> </any-service> <any-service> <any-child/> <parent/> </any-service>
</default-route> </default-route>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
</start>
<start name="log_terminal"> <start name="log_terminal">
<resource name="RAM" quantum="2M"/> <resource name="RAM" quantum="2M"/>
<provides><service name="Terminal"/></provides> <provides><service name="Terminal"/></provides>
@ -35,10 +40,10 @@ install_config {
} }
build_boot_image { build_boot_image {
core init log_terminal noux ld.lib.so libc.lib.so libc_noux.lib.so core init timer log_terminal noux ld.lib.so libc.lib.so libm.lib.so
test-noux_fork libc_noux.lib.so test-noux_fork
} }
append qemu_args " -nographic " append qemu_args " -nographic "
run_genode_until "child.*exited.*\n" 20 run_genode_until "child.*exited with exit value 0.*\n" 20