From 4c382d85b28d1f64e7e66b1c25c6ece4af2343b5 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Sun, 27 Aug 2017 15:32:17 +0200
Subject: [PATCH] sel4: adjust cap ram quota of fault_detection.run

---
 repos/os/src/test/fault_detection/main.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/test/fault_detection/main.cc b/repos/os/src/test/fault_detection/main.cc
index f3c8008bd..3a3d83ac7 100644
--- a/repos/os/src/test/fault_detection/main.cc
+++ b/repos/os/src/test/fault_detection/main.cc
@@ -193,7 +193,7 @@ struct Faulting_loader_grand_child_test
 			"    <any-service> <parent/> <any-child/> </any-service>\n"
 			"  </default-route>\n"
 			"  <start name=\"test-segfault\" caps=\"50\">\n"
-			"    <resource name=\"RAM\" quantum=\"10M\"/>\n"
+			"    <resource name=\"RAM\" quantum=\"2M\"/>\n"
 			"  </start>\n"
 			"</config>";
 	}
@@ -204,7 +204,7 @@ struct Faulting_loader_grand_child_test
 
 	void start_iteration(Env &env, Signal_context_capability fault_sigh)
 	{
-		loader.construct(env, Ram_quota{2*1024*1024}, Cap_quota{100});
+		loader.construct(env, Ram_quota{4*1024*1024}, Cap_quota{110});
 
 		/* import config into loader session */
 		{