From dbf7588a76d4ba4f737f0d8b62a6060339d34561 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 28 Nov 2017 10:26:45 +0100
Subject: [PATCH] netperf: increase caps for sel4 x86_64

---
 repos/ports/run/netperf.inc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index e9b67acb7..06c411f22 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -214,7 +214,7 @@ append_if $use_wifi_driver config {
 			<any-service> <parent/> <any-child/> </any-service>
 		</route>
 	</start>
-	<start name="wifi_drv" caps="220">
+	<start name="wifi_drv" caps="250">
 		<resource name="RAM" quantum="32M"/>
 		<provides> <service name="Nic"/> </provides>
 		<config>
@@ -240,7 +240,7 @@ append_if $use_wifi_driver config {
 append_platform_drv_config
 
 append config {
-	<start name="netserver_genode" caps="200">
+	<start name="netserver_genode" caps="220">
 }
 append config "<binary name=\"$netperf_app\"/>"
 append config {