From 93371be75073d683656bad08cc9901fc8af29d19 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 17 Aug 2017 17:38:37 +0200
Subject: [PATCH] noux_tool_chain.inc: increase capability quotas

Fixes #2491
---
 repos/ports/run/noux_tool_chain.inc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc
index 212ce850a3..38e66cd0bb 100644
--- a/repos/ports/run/noux_tool_chain.inc
+++ b/repos/ports/run/noux_tool_chain.inc
@@ -140,7 +140,7 @@ append config {
 			<keyboard layout="de"/>
 		</config>
 	</start>
-	<start name="ram_fs">
+	<start name="ram_fs" caps="200">
 		<resource name="RAM" quantum="124M"/>
 		<provides><service name="File_system"/></provides>
 		<config>
@@ -180,7 +180,7 @@ append config {
 }
 
 append config {
-	<start name="noux" caps="1000">
+	<start name="noux" caps="2000">
 		<resource name="RAM" quantum="1G" />
 }