From abe1b98486e8323ddb4f33067e41994de2d6a35c Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 10 Sep 2018 14:21:41 +0200
Subject: [PATCH] nic_router.run: fix resource requests

Raise cap quotas.

Issue #2972
---
 repos/libports/run/nic_router.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/libports/run/nic_router.run b/repos/libports/run/nic_router.run
index 3e9c2341e..bdfc6ac15 100644
--- a/repos/libports/run/nic_router.run
+++ b/repos/libports/run/nic_router.run
@@ -258,7 +258,7 @@ append config {
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
 
-	<default caps="100"/>
+	<default caps="200"/>
 
 	} [platform_drv_config] {
 
@@ -273,7 +273,7 @@ append config {
 		<provides> <service name="Nic"/> </provides>
 	</start>
 
-	<start name="nic_router" caps="200" priority="-1">
+	<start name="nic_router" caps="400" priority="-1">
 		<resource name="RAM" quantum="10M"/>
 		<provides><service name="Nic"/></provides>
 		<config verbose="no"