diff --git a/repos/ports/run/noux_fork.run b/repos/ports/run/noux_fork.run deleted file mode 100644 index 1c0f50e75..000000000 --- a/repos/ports/run/noux_fork.run +++ /dev/null @@ -1,53 +0,0 @@ -build { - core init timer server/log_terminal noux lib/libc_noux - test/fork -} - -create_boot_directory - -install_config { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -} - -build_boot_image { - core init timer log_terminal noux ld.lib.so libc.lib.so vfs.lib.so libm.lib.so - libc_noux.lib.so posix.lib.so test-fork -} - -append qemu_args " -nographic " - -run_genode_until "--- parent done ---.*\n" 20 -run_genode_until "child.*exited.*\n" 5 [output_spawn_id]