From 77a875735a6f2a41c3d2000afd5b76f81170bb8d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 18 May 2020 10:08:05 +0200
Subject: [PATCH] fs_query.run: adjust quota for seL4

---
 repos/gems/run/fs_query.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/run/fs_query.run b/repos/gems/run/fs_query.run
index 1b2ea0d92..3d2f44311 100644
--- a/repos/gems/run/fs_query.run
+++ b/repos/gems/run/fs_query.run
@@ -73,7 +73,7 @@ install_config {
 		</start>
 
 		<start name="fs_query" caps="120">
-			<resource name="RAM" quantum="1M"/>
+			<resource name="RAM" quantum="2M"/>
 			<config>
 				<vfs> <dir name="fs"> <fs writeable="yes"/> </dir> </vfs>
 				<query path="/fs/items" content="yes"/>