diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index 4ff093579..65f04e714 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -675,6 +675,7 @@ set default_test_pkgs {
 	test-libc_connect_vfs_server_lwip
 	test-libc_connect_vfs_server_lxip
 	test-libc_counter
+	test-libc_execve
 	test-libc_getenv
 	test-libc_pipe
 	test-libc_vfs
diff --git a/repos/libports/recipes/pkg/test-libc_execve/README b/repos/libports/recipes/pkg/test-libc_execve/README
new file mode 100644
index 000000000..650043a10
--- /dev/null
+++ b/repos/libports/recipes/pkg/test-libc_execve/README
@@ -0,0 +1 @@
+Test for the execve mechanism provided by the libc.
diff --git a/repos/libports/recipes/pkg/test-libc_execve/archives b/repos/libports/recipes/pkg/test-libc_execve/archives
new file mode 100644
index 000000000..e4282318e
--- /dev/null
+++ b/repos/libports/recipes/pkg/test-libc_execve/archives
@@ -0,0 +1,4 @@
+_/src/test-libc_execve
+_/src/libc
+_/src/vfs
+_/src/posix
diff --git a/repos/libports/recipes/pkg/test-libc_execve/hash b/repos/libports/recipes/pkg/test-libc_execve/hash
new file mode 100644
index 000000000..888e18cdf
--- /dev/null
+++ b/repos/libports/recipes/pkg/test-libc_execve/hash
@@ -0,0 +1 @@
+2020-03-05 be84f6f33c3c0f7dd4358324c8a95af0e333d860
diff --git a/repos/libports/run/execve.run b/repos/libports/recipes/pkg/test-libc_execve/runtime
similarity index 59%
rename from repos/libports/run/execve.run
rename to repos/libports/recipes/pkg/test-libc_execve/runtime
index c20fcd75c..861eee1a3 100644
--- a/repos/libports/run/execve.run
+++ b/repos/libports/recipes/pkg/test-libc_execve/runtime
@@ -1,8 +1,22 @@
-build { core init test/execve }
+<runtime ram="32M" caps="1000" binary="init">
 
-create_boot_directory
+	<requires> <timer/> </requires>
+
+	<events>
+		<timeout meaning="failed" sec="70" />
+		<log meaning="succeeded">child "test-execve" exited with exit value 0</log>
+	</events>
+
+	<content>
+		<rom label="ld.lib.so"/>
+		<rom label="libc.lib.so"/>
+		<rom label="libm.lib.so"/>
+		<rom label="posix.lib.so"/>
+		<rom label="vfs.lib.so"/>
+		<rom label="vfs"/>
+		<rom label="test-execve"/>
+	</content>
 
-install_config {
 	<config verbose="yes">
 		<parent-provides>
 			<service name="ROM"/>
@@ -25,12 +39,5 @@ install_config {
 			</route>
 		</start>
 	</config>
-}
 
-build_boot_image {
-	core init ld.lib.so libc.lib.so vfs.lib.so libm.lib.so posix.lib.so test-execve
-}
-
-append qemu_args " -nographic "
-
-run_genode_until "child.*exited.*value 0.*\n" 15
+</runtime>
diff --git a/repos/libports/recipes/src/test-libc_execve/content.mk b/repos/libports/recipes/src/test-libc_execve/content.mk
new file mode 100644
index 000000000..10e2f254a
--- /dev/null
+++ b/repos/libports/recipes/src/test-libc_execve/content.mk
@@ -0,0 +1,3 @@
+SRC_DIR = src/test/execve
+
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
diff --git a/repos/libports/recipes/src/test-libc_execve/hash b/repos/libports/recipes/src/test-libc_execve/hash
new file mode 100644
index 000000000..32079a253
--- /dev/null
+++ b/repos/libports/recipes/src/test-libc_execve/hash
@@ -0,0 +1 @@
+2020-03-05 683c1e1941d9bc880cdf6922ba443ccd67e19d63
diff --git a/repos/libports/recipes/src/test-libc_execve/used_apis b/repos/libports/recipes/src/test-libc_execve/used_apis
new file mode 100644
index 000000000..ce85f15de
--- /dev/null
+++ b/repos/libports/recipes/src/test-libc_execve/used_apis
@@ -0,0 +1,3 @@
+base
+posix
+libc
diff --git a/repos/libports/src/test/execve/target.mk b/repos/libports/src/test/execve/target.mk
index 193f2cf83..39bd4d297 100644
--- a/repos/libports/src/test/execve/target.mk
+++ b/repos/libports/src/test/execve/target.mk
@@ -3,3 +3,4 @@ SRC_CC = test.cc
 LIBS   = posix
 
 CC_CXX_WARN_STRICT =
+CC_CXX_OPT += -fno-exceptions