From 06b25a9082c604f78075414309e6a3ded5047192 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 12 Jun 2017 17:10:52 +0200
Subject: [PATCH] Adjust GPIO cap quota in nic run scripts

---
 repos/libports/run/nic_dump.run   | 2 +-
 repos/libports/run/nic_router.run | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/libports/run/nic_dump.run b/repos/libports/run/nic_dump.run
index 23b9fdfba6..6d5107a74b 100644
--- a/repos/libports/run/nic_dump.run
+++ b/repos/libports/run/nic_dump.run
@@ -43,7 +43,7 @@ create_boot_directory
 proc gpio_drv_config { } {
 	if {[have_spec gpio]} {
 		append result {
-			<start name="} [gpio_drv] {">
+			<start name="} [gpio_drv] {" caps="140">
 				<resource name="RAM" quantum="4M"/>
 				<provides><service name="Gpio"/></provides>
 			</start>}
diff --git a/repos/libports/run/nic_router.run b/repos/libports/run/nic_router.run
index 7bad050cb9..037f705fbe 100644
--- a/repos/libports/run/nic_router.run
+++ b/repos/libports/run/nic_router.run
@@ -47,7 +47,7 @@ create_boot_directory
 proc gpio_drv_config { } {
 	if {[have_spec gpio]} {
 		append result {
-			<start name="} [gpio_drv] {">
+			<start name="} [gpio_drv] {" caps="140">
 				<resource name="RAM" quantum="4M"/>
 				<provides><service name="Gpio"/></provides>
 			</start>}