From 98ffa605772b4d3c68fe9cdd48ff132f0a785b06 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 14 Oct 2021 11:48:23 +0200
Subject: [PATCH] Increase cap quota for system-shell terminal

---
 repos/ports/recipes/raw/system_shell/system_shell.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/recipes/raw/system_shell/system_shell.config b/repos/ports/recipes/raw/system_shell/system_shell.config
index d88cc8ef0c..047ceac944 100644
--- a/repos/ports/recipes/raw/system_shell/system_shell.config
+++ b/repos/ports/recipes/raw/system_shell/system_shell.config
@@ -15,7 +15,7 @@
 
 	<default caps="100"/>
 
-	<start name="terminal">
+	<start name="terminal" caps="150">
 		<resource name="RAM" quantum="16M"/>
 		<provides> <service name="Terminal"/> </provides>
 		<config copy="yes" paste="yes">