From cc1a6041a7eddac314cc5344e18e47c7d5122468 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 22 Sep 2023 07:55:19 +0200
Subject: [PATCH] fb_sdl: adapt RAM quota for large screen sizes

Issue #4993
---
 repos/gems/sculpt/drivers/linux                               | 2 +-
 repos/os/recipes/raw/drivers_interactive-linux/drivers.config | 2 +-
 repos/os/run/pointer.run                                      | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/gems/sculpt/drivers/linux b/repos/gems/sculpt/drivers/linux
index c43fb2a742..67f84afd5d 100644
--- a/repos/gems/sculpt/drivers/linux
+++ b/repos/gems/sculpt/drivers/linux
@@ -10,7 +10,7 @@
 	</parent-provides>
 
 	<start name="fb_sdl" caps="100" ld="no">
-		<resource name="RAM" quantum="10M"/>
+		<resource name="RAM" quantum="32M"/>
 		<route>
 			<service name="Event"> <child name="event_filter" label="sdl"/> </service>
 			<any-service> <parent/> </any-service>
diff --git a/repos/os/recipes/raw/drivers_interactive-linux/drivers.config b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config
index 45c80b50b2..7dd82b9ef2 100644
--- a/repos/os/recipes/raw/drivers_interactive-linux/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config
@@ -10,7 +10,7 @@
 	</parent-provides>
 
 	<start name="fb_sdl" caps="100" ld="no">
-		<resource name="RAM" quantum="10M"/>
+		<resource name="RAM" quantum="32M"/>
 		<route>
 			<service name="Event"> <child name="event_filter" label="sdl"/> </service>
 			<any-service> <parent/> </any-service>
diff --git a/repos/os/run/pointer.run b/repos/os/run/pointer.run
index eac92e7ffa..e4e31c9ff6 100644
--- a/repos/os/run/pointer.run
+++ b/repos/os/run/pointer.run
@@ -39,7 +39,7 @@ install_config {
 	</start>
 
 	<start name="fb_sdl" ld="no">
-		<resource name="RAM" quantum="6M"/>
+		<resource name="RAM" quantum="32M"/>
 		<config buffered="yes" width="1280" height="720" depth="16"/>
 		<route>
 			<service name="ROM">     <parent/>             </service>