From a25d19169b87c5cb3993e871dc7f668e85e987d8 Mon Sep 17 00:00:00 2001
From: Benjamin Lamowski <benjamin.lamowski@genode-labs.com>
Date: Tue, 22 Oct 2024 11:32:38 +0200
Subject: [PATCH] system_shell: adjust terminal RAM quota to work in 4k

A system shell that works in a small window stops working when maximized
on a 4k screen, because the terminal component runs out of RAM.

With the adjusted RAM quotas the system shell works on 4k displays.

Issue #5356
---
 repos/ports/recipes/pkg/system_shell/runtime             | 2 +-
 repos/ports/recipes/raw/system_shell/system_shell.config | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/ports/recipes/pkg/system_shell/runtime b/repos/ports/recipes/pkg/system_shell/runtime
index 8f5e8f0be7..632646cf3b 100644
--- a/repos/ports/recipes/pkg/system_shell/runtime
+++ b/repos/ports/recipes/pkg/system_shell/runtime
@@ -1,4 +1,4 @@
-<runtime ram="76M" caps="1000" binary="init" config="system_shell.config">
+<runtime ram="108M" caps="1000" binary="init" config="system_shell.config">
 
 	<requires>
 		<gui/>
diff --git a/repos/ports/recipes/raw/system_shell/system_shell.config b/repos/ports/recipes/raw/system_shell/system_shell.config
index 047ceac944..d053f5b618 100644
--- a/repos/ports/recipes/raw/system_shell/system_shell.config
+++ b/repos/ports/recipes/raw/system_shell/system_shell.config
@@ -16,7 +16,7 @@
 	<default caps="100"/>
 
 	<start name="terminal" caps="150">
-		<resource name="RAM" quantum="16M"/>
+		<resource name="RAM" quantum="48M"/>
 		<provides> <service name="Terminal"/> </provides>
 		<config copy="yes" paste="yes">
 			<initial width="800" height="600"/>