From 6af42c9fb57dff37e5a30780125d31fcb36f9894 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 9 Jun 2023 09:03:40 +0200
Subject: [PATCH] test-sanitizer: simplify, increase caps for sel4

---
 repos/base/recipes/pkg/test-sanitizer/runtime | 23 ++++---------------
 1 file changed, 5 insertions(+), 18 deletions(-)

diff --git a/repos/base/recipes/pkg/test-sanitizer/runtime b/repos/base/recipes/pkg/test-sanitizer/runtime
index 749932e527..f63a5a4854 100644
--- a/repos/base/recipes/pkg/test-sanitizer/runtime
+++ b/repos/base/recipes/pkg/test-sanitizer/runtime
@@ -1,10 +1,10 @@
-<runtime ram="32M" caps="1000" binary="init">
+<runtime ram="16M" caps="150" binary="test-sanitizer">
 
 	<events>
 		<timeout meaning="failed" sec="10" />
 		<log meaning="succeeded">
-			[init -> test-sanitizer]*runtime error: *index 2 out of bounds*
-			[init -> test-sanitizer]*runtime error: *store to null pointer
+			[init]*runtime error: *index 2 out of bounds*
+			[init]*runtime error: *store to null pointer
 		</log>
 	</events>
 
@@ -15,19 +15,6 @@
 		<rom label="test-sanitizer"/>
 	</content>
 
-	<config>
-		<parent-provides>
-			<service name="CPU"/>
-			<service name="LOG"/>
-			<service name="PD"/>
-			<service name="ROM"/>
-		</parent-provides>
-		<default-route>
-			<any-service> <any-child/> <parent/> </any-service>
-		</default-route>
-		<default caps="100"/>
-		<start name="test-sanitizer">
-			<resource name="RAM" quantum="16M"/>
-		</start>
-	</config>
+	<config/>
+
 </runtime>