From 7e7c10e66c0eba1b6b2ebf83149231c25e4797fc Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 9 Mar 2021 10:51:49 +0100
Subject: [PATCH] Add sandbox test to depot autopilot

Issue #4044
---
 repos/gems/run/depot_autopilot.run           |  1 +
 repos/os/recipes/pkg/test-sandbox/README     |  1 +
 repos/os/recipes/pkg/test-sandbox/archives   |  3 ++
 repos/os/recipes/pkg/test-sandbox/hash       |  1 +
 repos/os/recipes/pkg/test-sandbox/runtime    | 19 +++++++++++
 repos/os/recipes/src/test-sandbox/content.mk |  2 ++
 repos/os/recipes/src/test-sandbox/hash       |  1 +
 repos/os/recipes/src/test-sandbox/used_apis  |  3 ++
 repos/os/run/sandbox.run                     | 34 --------------------
 9 files changed, 31 insertions(+), 34 deletions(-)
 create mode 100644 repos/os/recipes/pkg/test-sandbox/README
 create mode 100644 repos/os/recipes/pkg/test-sandbox/archives
 create mode 100644 repos/os/recipes/pkg/test-sandbox/hash
 create mode 100644 repos/os/recipes/pkg/test-sandbox/runtime
 create mode 100644 repos/os/recipes/src/test-sandbox/content.mk
 create mode 100644 repos/os/recipes/src/test-sandbox/hash
 create mode 100644 repos/os/recipes/src/test-sandbox/used_apis
 delete mode 100644 repos/os/run/sandbox.run

diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index ad02980d8e..3842b6df8d 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -708,6 +708,7 @@ set default_test_pkgs {
 	test-rm_nested
 	test-rm_stress
 	test-rom_filter
+	test-sandbox
 	test-sanitizer
 	test-sequence
 	test-signal
diff --git a/repos/os/recipes/pkg/test-sandbox/README b/repos/os/recipes/pkg/test-sandbox/README
new file mode 100644
index 0000000000..3626ebf729
--- /dev/null
+++ b/repos/os/recipes/pkg/test-sandbox/README
@@ -0,0 +1 @@
+Test for the sandbox API.
diff --git a/repos/os/recipes/pkg/test-sandbox/archives b/repos/os/recipes/pkg/test-sandbox/archives
new file mode 100644
index 0000000000..238e69113e
--- /dev/null
+++ b/repos/os/recipes/pkg/test-sandbox/archives
@@ -0,0 +1,3 @@
+_/src/test-sandbox
+_/src/sandbox
+_/src/dummy
diff --git a/repos/os/recipes/pkg/test-sandbox/hash b/repos/os/recipes/pkg/test-sandbox/hash
new file mode 100644
index 0000000000..f6737a3068
--- /dev/null
+++ b/repos/os/recipes/pkg/test-sandbox/hash
@@ -0,0 +1 @@
+2021-02-22 cc4749a3d3510e63bdf5fca9802542967440a2ab
diff --git a/repos/os/recipes/pkg/test-sandbox/runtime b/repos/os/recipes/pkg/test-sandbox/runtime
new file mode 100644
index 0000000000..bcfd65dfdc
--- /dev/null
+++ b/repos/os/recipes/pkg/test-sandbox/runtime
@@ -0,0 +1,19 @@
+<runtime ram="10M" caps="500" binary="test-sandbox">
+
+	<requires> <timer/> </requires>
+
+	<events>
+		<log meaning="succeeded">version="5"</log>
+		<timeout meaning="failed" sec="10" />
+	</events>
+
+	<content>
+		<rom label="ld.lib.so"/>
+		<rom label="sandbox.lib.so"/>
+		<rom label="test-sandbox"/>
+		<rom label="dummy"/>
+	</content>
+
+	<config/>
+
+</runtime>
diff --git a/repos/os/recipes/src/test-sandbox/content.mk b/repos/os/recipes/src/test-sandbox/content.mk
new file mode 100644
index 0000000000..0be23ab29c
--- /dev/null
+++ b/repos/os/recipes/src/test-sandbox/content.mk
@@ -0,0 +1,2 @@
+SRC_DIR = src/test/sandbox
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
diff --git a/repos/os/recipes/src/test-sandbox/hash b/repos/os/recipes/src/test-sandbox/hash
new file mode 100644
index 0000000000..7161734248
--- /dev/null
+++ b/repos/os/recipes/src/test-sandbox/hash
@@ -0,0 +1 @@
+2021-02-22 865698ec41736b17083468d64a5af96f24229408
diff --git a/repos/os/recipes/src/test-sandbox/used_apis b/repos/os/recipes/src/test-sandbox/used_apis
new file mode 100644
index 0000000000..3a7f09b08d
--- /dev/null
+++ b/repos/os/recipes/src/test-sandbox/used_apis
@@ -0,0 +1,3 @@
+base
+os
+timer_session
diff --git a/repos/os/run/sandbox.run b/repos/os/run/sandbox.run
deleted file mode 100644
index 930231e6c6..0000000000
--- a/repos/os/run/sandbox.run
+++ /dev/null
@@ -1,34 +0,0 @@
-build "core init timer test/sandbox app/dummy"
-
-create_boot_directory
-
-install_config {
-	<config>
-		<parent-provides>
-			<service name="LOG"/>
-			<service name="PD"/>
-			<service name="CPU"/>
-			<service name="ROM"/>
-			<service name="IRQ"/>
-			<service name="IO_MEM"/>
-			<service name="IO_PORT"/>
-		</parent-provides>
-		<default-route>
-			<any-service> <parent/> <any-child/> </any-service>
-		</default-route>
-		<default caps="500"/>
-		<start name="timer">
-			<resource name="RAM" quantum="1M"/>
-			<provides> <service name="Timer"/> </provides>
-		</start>
-		<start name="test-sandbox">
-			<resource name="RAM" quantum="10M"/>
-		</start>
-	</config>
-}
-
-build_boot_image { core ld.lib.so init timer test-sandbox sandbox.lib.so dummy }
-
-append qemu_args " -nographic "
-
-run_genode_until "version=\"5\".*\n" 20