From e8424e19fa1c58493df2b7441c145797ed3db95f Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 31 Jan 2023 09:33:57 +0100
Subject: [PATCH] vbox_share: increase resources for tcp_terminal

---
 repos/ports/run/vbox_share.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/vbox_share.inc b/repos/ports/run/vbox_share.inc
index cc8e536207..599fc55d0c 100644
--- a/repos/ports/run/vbox_share.inc
+++ b/repos/ports/run/vbox_share.inc
@@ -171,7 +171,7 @@ set config_of_app {
 	</start>
 
 	<start name="tcp_terminal" priority="-1" caps="200">
-		<resource name="RAM" quantum="5M"/>
+		<resource name="RAM" quantum="6M"/>
 		<provides> <service name="Terminal"/> </provides>
 		<config>
 			<policy label_prefix="vfs" port="8888"/>