From 5a02b5fd2385cc2dbcefbe776fffb95175ccfdfb Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 17 Mar 2020 14:39:38 +0100
Subject: [PATCH] Remove noux_fork.run script

This run script is superseded by pkg/test-fork.

Issue #3696
---
 repos/ports/run/noux_fork.run | 53 -----------------------------------
 1 file changed, 53 deletions(-)
 delete mode 100644 repos/ports/run/noux_fork.run

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 {
-	<config verbose="yes">
-		<parent-provides>
-			<service name="ROM"/>
-			<service name="LOG"/>
-			<service name="RM"/>
-			<service name="CPU"/>
-			<service name="PD"/>
-			<service name="IRQ"/>
-			<service name="IO_MEM"/>
-			<service name="IO_PORT"/>
-		</parent-provides>
-		<default-route>
-			<any-service> <any-child/> <parent/> </any-service>
-		</default-route>
-		<default caps="120"/>
-		<start name="timer">
-			<resource name="RAM" quantum="1M"/>
-			<provides><service name="Timer"/></provides>
-		</start>
-		<start name="log_terminal">
-			<resource name="RAM" quantum="2M"/>
-			<provides><service name="Terminal"/></provides>
-		</start>
-		<start name="noux" caps="300">
-			<resource name="RAM" quantum="1G"/>
-			<config verbose="yes" stdin="/null" stdout="/log" stderr="/log">
-				<fstab>
-					<null/> <log/>
-					<rom name="test-fork" />
-				</fstab>
-				<start name="test-fork"> </start>
-			</config>
-		</start>
-	</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]