From a9d58e47cb8a84065a3b123d288e989cea24c347 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 19 Feb 2019 11:46:48 +0100
Subject: [PATCH] Adapt run scripts to nic_bridge default policy

---
 repos/ports/run/netperf.inc | 1 +
 repos/ports/run/seoul.inc   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index ff3de47bfc..48df6951f0 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -188,6 +188,7 @@ append_if $use_nic_bridge config {
 append_if [expr $use_nic_bridge && [have_spec linux]] config "
 			<policy label_prefix=\"netserver_genode\" ip_addr=\"$lx_ip_addr\"/>"
 append_if $use_nic_bridge config {
+			<default-policy/>
 		</config>
 		<route>
 			<service name="Nic"> }
diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index 0919b73f00..dd987bdbfc 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -227,7 +227,7 @@ append_if [expr $use_nic_session && $use_nic_bridge] config {
 	<start name="nic_bridge" priority="-3">
 		<resource name="RAM" quantum="6M"/>
 		<provides><service name="Nic"/></provides>
-		<config/>
+		<config> <default-policy/> </config>
 		<route>
 			<service name="Nic"><child name="nic_drv"/></service>
 			<any-service><parent/></any-service>