From 4801cbf47c84d59f1eb5ce72b322cc1272e53e11 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 27 May 2024 11:54:23 +0200
Subject: [PATCH] drivers_interactive-pc: ram for event_filter

Slightly balance the ram quota of the drivers subsystem in favor of the
event_filter for letting demo.run test succeeed on sel4.
---
 repos/os/recipes/raw/drivers_interactive-pc/drivers.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
index 4ed857a160..4e364e590a 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -89,7 +89,7 @@
 
 	<start name="fb_drv" caps="120">
 		<binary name="vesa_fb_drv"/>
-		<resource name="RAM" quantum="24M"/>
+		<resource name="RAM" quantum="20M"/>
 		<route>
 			<service name="ROM" label="config"> <parent label="fb_drv.config"/> </service>
 			<service name="Platform"> <child name="platform_drv"/> </service>