From 341de74d83804ff82e914512092103b646d5cdd6 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 19 Apr 2018 15:07:09 +0200
Subject: [PATCH] depot_query.run: raise query quota for sel4

Issue #2781
---
 repos/gems/run/depot_query.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/run/depot_query.run b/repos/gems/run/depot_query.run
index ec4796eb78..bf469fe360 100644
--- a/repos/gems/run/depot_query.run
+++ b/repos/gems/run/depot_query.run
@@ -64,7 +64,7 @@ install_config {
 	</start>
 
 	<start name="depot_query">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<config query="rom">
 			<vfs> <dir name="depot"> <fs label="depot"/> </dir> </vfs>
 		</config>