From 1b895484d9030c834895e709ea386957a1a85b2b Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 5 Aug 2016 11:35:43 +0200
Subject: [PATCH] sel4: adjust qemu memory in same basic run scripts

Core on seL4 is configured to run on native hardware, so some static
allocators are bit over dimensioned. Some run scripts fail on qemu because
solely 64M are available in the system - adjust the affected scripts.

Issue #2044
---
 repos/os/run/blk_cache.run       | 2 +-
 repos/os/run/fault_detection.run | 2 +-
 repos/os/run/resource_yield.run  | 2 +-
 repos/os/run/tar_rom.run         | 4 ++--
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/repos/os/run/blk_cache.run b/repos/os/run/blk_cache.run
index c9883c7096..e635eeeb80 100644
--- a/repos/os/run/blk_cache.run
+++ b/repos/os/run/blk_cache.run
@@ -65,6 +65,6 @@ build_boot_image { core init timer test-blk-srv blk_cache test-blk-cli }
 #
 # Qemu
 #
-append qemu_args " -nographic -m 64 "
+append qemu_args " -nographic -m 96 "
 
 run_genode_until "Tests finished successfully.*\n" 60
diff --git a/repos/os/run/fault_detection.run b/repos/os/run/fault_detection.run
index e6c300b3a6..516e11d430 100644
--- a/repos/os/run/fault_detection.run
+++ b/repos/os/run/fault_detection.run
@@ -68,6 +68,6 @@ build_boot_image $boot_modules
 # Execute test case
 #
 
-append qemu_args "-nographic -m 64"
+append qemu_args "-nographic -m 96"
 
 run_genode_until "--- finished fault_detection test ---.*\n" 30
diff --git a/repos/os/run/resource_yield.run b/repos/os/run/resource_yield.run
index d153043120..f1671db52b 100644
--- a/repos/os/run/resource_yield.run
+++ b/repos/os/run/resource_yield.run
@@ -31,6 +31,6 @@ install_config {
 
 build_boot_image "core init timer test-resource_yield"
 
-append qemu_args "-nographic -m 64"
+append qemu_args "-nographic -m 96"
 
 run_genode_until {--- test-resource_yield finished ---\s*\n} 50
diff --git a/repos/os/run/tar_rom.run b/repos/os/run/tar_rom.run
index 562d8a2a1a..f164544bb8 100644
--- a/repos/os/run/tar_rom.run
+++ b/repos/os/run/tar_rom.run
@@ -43,7 +43,7 @@ install_config {
 		<provides><service name="Timer"/></provides>
 	</start>
 	<start name="tar_rom">
-		<resource name="RAM" quantum="5200K"/>
+		<resource name="RAM" quantum="6M"/>
 		<provides><service name="ROM"/></provides>
 		<config>
 			<archive name="archive.tar"/>
@@ -75,7 +75,7 @@ exec sh -c "cd bin; tar cfh archive.tar test-timer"
 
 build_boot_image "core init timer tar_rom archive.tar"
 
-append qemu_args "-nographic -m 64"
+append qemu_args "-nographic -m 96"
 
 run_genode_until "--- timer test ---" 10