From 956ec2f84ca6592ac1ac697ec0f0b881f1d63a0b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 15 Mar 2024 12:32:19 +0100
Subject: [PATCH] pkg/test-read_only_rom: adjust quota for sel4

---
 repos/os/recipes/pkg/test-read_only_rom/runtime | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/recipes/pkg/test-read_only_rom/runtime b/repos/os/recipes/pkg/test-read_only_rom/runtime
index b850567434..84ca416886 100644
--- a/repos/os/recipes/pkg/test-read_only_rom/runtime
+++ b/repos/os/recipes/pkg/test-read_only_rom/runtime
@@ -35,7 +35,7 @@
 			</config>
 		</start>
 		<start name="cached_fs_rom">
-			<resource name="RAM" quantum="5M"/>
+			<resource name="RAM" quantum="10M"/>
 			<provides> <service name="ROM"/> </provides>
 		</start>
 		<start name="test-immutable_rom">