From 5d66bfbd1946f8404fe316cfd64ef00a0c83f413 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 11 Feb 2019 11:00:52 +0100
Subject: [PATCH] netperf.run: increase caps of netserver_genode

This is needed for seL4/x86_64.
---
 repos/ports/run/netperf.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index e14cdcaef1..ad81e26130 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -289,7 +289,7 @@ append_if $use_wifi_driver config {
 append_platform_drv_config
 
 append config {
-	<start name="netserver_genode" caps="220" priority="-1">
+	<start name="netserver_genode" caps="320" priority="-1">
 	<binary name="netserver"/>
 		<resource name="RAM" quantum="32M"/>
 		<config>