From 53821a628532c1074e1ea120fee3b5c68648b6ab Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 19 Apr 2018 15:04:43 +0200
Subject: [PATCH] depot_download.run: raise quotas for sel4

Give chroot and report_rom 2M instead of 1M to satisfy Sel4 on x86
64-bit.

Issue #2781
---
 repos/gems/recipes/raw/depot_download/depot_download.config | 6 +++---
 repos/gems/run/depot_download.run                           | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/repos/gems/recipes/raw/depot_download/depot_download.config b/repos/gems/recipes/raw/depot_download/depot_download.config
index a21b39725f..c71065582a 100644
--- a/repos/gems/recipes/raw/depot_download/depot_download.config
+++ b/repos/gems/recipes/raw/depot_download/depot_download.config
@@ -19,7 +19,7 @@
 
 	<start name="report_rom">
 		<binary name="report_rom"/>
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<provides> <service name="Report"/> <service name="ROM"/> </provides>
 		<config verbose="no">
 			<policy label="dynamic -> config"
@@ -56,7 +56,7 @@
 
 	<start name="depot_ro">
 		<binary name="chroot"/>
-		<resource name="RAM" quantum="1M" />
+		<resource name="RAM" quantum="2M" />
 		<provides> <service name="File_system"/> </provides>
 		<config> <default-policy path="/" writeable="no"/> </config>
 		<route>
@@ -67,7 +67,7 @@
 
 	<start name="public_ro">
 		<binary name="chroot"/>
-		<resource name="RAM" quantum="1M" />
+		<resource name="RAM" quantum="2M" />
 		<provides> <service name="File_system"/> </provides>
 		<config> <default-policy path="/" writeable="no"/> </config>
 		<route>
diff --git a/repos/gems/run/depot_download.run b/repos/gems/run/depot_download.run
index 14b14ca448..54afec5334 100644
--- a/repos/gems/run/depot_download.run
+++ b/repos/gems/run/depot_download.run
@@ -98,7 +98,7 @@ append config {
 
 	<start name="depot_download" caps="2000">
 		<binary name="init"/>
-		<resource name="RAM" quantum="64M"/>
+		<resource name="RAM" quantum="70M"/>
 		<route>
 			<service name="ROM" label="config">
 				<parent label="depot_download.config"/> </service>