From 6e9843bd05f77f92118fb8b1696c8177df7a8cd8 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 4 Mar 2021 13:44:42 +0100
Subject: [PATCH] test-libc_fifo_pipe: more cap quota required for sel4/x86_64

Issue #4030
---
 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 ed11bc4144..0f5d052673 100644
--- a/repos/libports/recipes/pkg/test-libc_fifo_pipe/runtime
+++ b/repos/libports/recipes/pkg/test-libc_fifo_pipe/runtime
@@ -68,7 +68,7 @@
 								<service name="ROM"/>
 								<service name="Timer"/>
 							</parent-provides>
-							<default caps="110"/>
+							<default caps="120"/>
 
 							<start name="echo">
 								<binary name="test-libc_fifo_pipe"/>