From 279a02e449508e97d3614e66323ce1b100ccd503 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 24 Jan 2025 16:11:12 +0100
Subject: [PATCH] sel4: increase resources for fb_bench

Issue #5423
---
 repos/os/run/fb_bench.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run
index 1185dd4ded..38f52bb00f 100644
--- a/repos/os/run/fb_bench.run
+++ b/repos/os/run/fb_bench.run
@@ -71,7 +71,7 @@ install_config {
 	</start>
 
 	<start name="gui_fb">
-		<resource name="RAM" quantum="4M"/>
+		<resource name="RAM" quantum="5M"/>
 		<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
 		<config/>
 		<route>