From 05f2ecc045c84042e85a1dfd080a3e88e993fe04 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 7 Jun 2018 15:04:13 +0200
Subject: [PATCH] Increase RAM quota of depot download manager

Also increase run-script test timeout for qemu/sel4.
---
 repos/gems/recipes/raw/depot_download/depot_download.config | 2 +-
 repos/gems/run/depot_download.run                           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/gems/recipes/raw/depot_download/depot_download.config b/repos/gems/recipes/raw/depot_download/depot_download.config
index 1c1c5a9dd5..15e700f331 100644
--- a/repos/gems/recipes/raw/depot_download/depot_download.config
+++ b/repos/gems/recipes/raw/depot_download/depot_download.config
@@ -80,7 +80,7 @@
 
 	<start name="manager">
 		<binary name="depot_download_manager"/>
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<config/>
 		<route>
 			<service name="Report" label="state"> <parent label="state"/> </service>
diff --git a/repos/gems/run/depot_download.run b/repos/gems/run/depot_download.run
index 8d3e40a7f1..b4806428fa 100644
--- a/repos/gems/run/depot_download.run
+++ b/repos/gems/run/depot_download.run
@@ -131,5 +131,5 @@ build_boot_image $boot_modules
 
 append qemu_args " -nographic -net nic,model=e1000 -net user "
 
-run_genode_until {.*\[init -> depot_download -> manager\] installation complete.*\n} 120
+run_genode_until {.*\[init -> depot_download -> manager\] installation complete.*\n} 150