From 30e0452fafa639677176b6124c74551f020f8577 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 25 May 2023 17:42:42 +0200
Subject: [PATCH] sculpt: increase sculpt_manager's cap quota

Fix genodelabs/genode#4911
---
 repos/gems/sculpt/leitzentrale/default | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/sculpt/leitzentrale/default b/repos/gems/sculpt/leitzentrale/default
index b032b2ef72..0a78d94848 100644
--- a/repos/gems/sculpt/leitzentrale/default
+++ b/repos/gems/sculpt/leitzentrale/default
@@ -226,7 +226,7 @@
 				</route>
 			</start>
 
-			<start name="manager" caps="300">
+			<start name="manager" caps="400">
 				<binary name="sculpt_manager"/>
 				<resource name="RAM" quantum="3M"/>
 				<provides> <service name="Gui"/> </provides>