From 3e8824908d58543301dcaf7216fc7580b174d153 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 20 Aug 2020 15:05:08 +0200
Subject: [PATCH] system_shell: increase gui_fb quota

With this change, the window can be maximized when using a 1920x1080
resolution with 32 bits per pixel.

Issue #3784
---
 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 d97576afd4..6a850205fd 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="gui_fb">
-		<resource name="RAM" quantum="8M"/>
+		<resource name="RAM" quantum="12M"/>
 		<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
 		<config xpos="10" ypos="10" initial_width="800" initial_height="600"/>
 		<route>