From 1d5af600cc5fef3aa6b0bdc40eb870ef57db7c0a Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 15 Feb 2022 16:43:07 +0100
Subject: [PATCH] test-init: increase LOG server cap quota for sel4

---
 repos/os/recipes/raw/test-init/test-init.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/recipes/raw/test-init/test-init.config b/repos/os/recipes/raw/test-init/test-init.config
index aa2ac2fe23..1fcfc155b3 100644
--- a/repos/os/recipes/raw/test-init/test-init.config
+++ b/repos/os/recipes/raw/test-init/test-init.config
@@ -1346,7 +1346,7 @@
 					<service name="PD"/>
 					<service name="LOG"/>
 				</parent-provides>
-				<default caps="60"/>
+				<default caps="64"/>
 				<service name="LOG">
 					<default-policy> <child name="server"/> </default-policy>
 				</service>