From 7c01053842bc6119fa90e91f57938d9c0a7803e0 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 13 Apr 2021 09:59:57 +0200
Subject: [PATCH] Adjust test-fault_detection cap quota for seL4

---
 repos/os/src/test/fault_detection/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/src/test/fault_detection/main.cc b/repos/os/src/test/fault_detection/main.cc
index 8cbeb3640b..8133f5e7ab 100644
--- a/repos/os/src/test/fault_detection/main.cc
+++ b/repos/os/src/test/fault_detection/main.cc
@@ -208,7 +208,7 @@ struct Faulting_loader_grand_child_test
 
 	void start_iteration(Env &env, Signal_context_capability fault_sigh)
 	{
-		loader.construct(env, Ram_quota{4*1024*1024}, Cap_quota{120});
+		loader.construct(env, Ram_quota{4*1024*1024}, Cap_quota{130});
 
 		/* import config into loader session */
 		{