From 4546148ab78152f4a62342832f50c1a64004539d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 14 Apr 2021 11:39:53 +0200
Subject: [PATCH] Adjust test-libc_fifo_pipe cap quota for seL4

---
 repos/libports/recipes/pkg/test-libc_fifo_pipe/runtime | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/recipes/pkg/test-libc_fifo_pipe/runtime b/repos/libports/recipes/pkg/test-libc_fifo_pipe/runtime
index 0f5d052673..93c17ec379 100644
--- a/repos/libports/recipes/pkg/test-libc_fifo_pipe/runtime
+++ b/repos/libports/recipes/pkg/test-libc_fifo_pipe/runtime
@@ -146,7 +146,7 @@
 			</route>
 		</start>
 
-		<start name="init" caps="200">
+		<start name="init" caps="250">
 			<resource name="RAM" quantum="16M"/>
 			<route>
 				<service name="ROM" label="config">    <child name="report_rom" label="init.config"/> </service>