From d858a600f7fd8396dd0df41fc6b88857ad8e20ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Fri, 12 Apr 2024 14:33:48 +0200
Subject: [PATCH] sculpt: raise max supported display resolution

This commit raise various quota to accommodate using a display
resolution of up to '3840x2160' in the static parts, e.g. the
leitzentrale, of Sculpt.

Issue #5174.
---
 repos/gems/run/sculpt.run              | 4 ++--
 repos/gems/sculpt/fb_drv/default       | 2 +-
 repos/gems/sculpt/leitzentrale/default | 8 ++++----
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index 3b5a4bf92d..7faa58d447 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -581,9 +581,9 @@ install_config {
 		</route>
 	</start>
 
-	<start name="leitzentrale" caps="2350" priority="-1">
+	<start name="leitzentrale" caps="2400" priority="-1">
 		<binary name="init"/>
-		<resource name="RAM" quantum="130M"/>
+		<resource name="RAM" quantum="203M"/>
 		<resource name="CPU" quantum="35"/>
 		<affinity xpos="1" width="1"/> <!-- decouple leitzentrale from boot CPU -->
 		<provides>
diff --git a/repos/gems/sculpt/fb_drv/default b/repos/gems/sculpt/fb_drv/default
index f38cd91489..f5ed6f1195 100644
--- a/repos/gems/sculpt/fb_drv/default
+++ b/repos/gems/sculpt/fb_drv/default
@@ -1,4 +1,4 @@
-<config width="1024" height="768" max_width="2560" max_height="1504">
+<config width="1024" height="768" max_width="3840" max_height="2160">
 	<report connectors="yes"/>
 	<!-- <connector name="eDP-1" width="1920" height="1080" enabled="true" brightness="75"/> -->
 	<!-- <connector name="HDMI-A-1" width="1024" height="768" hz="75" enabled="true"/> -->
diff --git a/repos/gems/sculpt/leitzentrale/default b/repos/gems/sculpt/leitzentrale/default
index be188f3047..22952110aa 100644
--- a/repos/gems/sculpt/leitzentrale/default
+++ b/repos/gems/sculpt/leitzentrale/default
@@ -45,7 +45,7 @@
 				<inline>
 					<start name="fader" priority="-1">
 						<binary name="gui_fader"/>
-						<resource name="RAM" quantum="50M"/>
+						<resource name="RAM" quantum="100M"/>
 						<resource name="CPU" quantum="20"/>
 						<provides> <service name="Gui"/> </provides>
 						<config initial_fade_in_steps="100" fade_in_steps="20" alpha="210"/>
@@ -74,7 +74,7 @@
 		</if>
 		<inline>
 			<start name="gui_fb" priority="-1">
-				<resource name="RAM" quantum="18M"/>
+				<resource name="RAM" quantum="33M"/>
 				<resource name="CPU" quantum="20"/>
 				<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
 				<config/>
@@ -160,9 +160,9 @@
 				</route>
 			</start>
 
-			<start name="decorator" caps="350" priority="-1">
+			<start name="decorator" caps="400" priority="-1">
 				<binary name="themed_decorator"/>
-				<resource name="RAM" quantum="12M"/>
+				<resource name="RAM" quantum="20M"/>
 				<resource name="CPU" quantum="20"/>
 				<config>
 					<libc/>