ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 16:35:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Adapt run scripts to nic_bridge default policy

Browse Source
This commit is contained in:
Christian Helmuth 2019-02-19 11:46:48 +01:00
parent 5ed5fddb7c
commit a9d58e47cb
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/ports/run/netperf.inc
View File

@ -188,6 +188,7 @@ append_if $use_nic_bridge config {
append_if [expr $use_nic_bridge && [have_spec linux]] config " append_if [expr $use_nic_bridge && [have_spec linux]] config "
<policy label_prefix=\"netserver_genode\" ip_addr=\"$lx_ip_addr\"/>" <policy label_prefix=\"netserver_genode\" ip_addr=\"$lx_ip_addr\"/>"
append_if $use_nic_bridge config { append_if $use_nic_bridge config {
<default-policy/>
</config> </config>
<route> <route>
<service name="Nic"> } <service name="Nic"> }

2
repos/ports/run/seoul.inc
View File

@ -227,7 +227,7 @@ append_if [expr $use_nic_session && $use_nic_bridge] config {
<start name="nic_bridge" priority="-3"> <start name="nic_bridge" priority="-3">
<resource name="RAM" quantum="6M"/> <resource name="RAM" quantum="6M"/>
<provides><service name="Nic"/></provides> <provides><service name="Nic"/></provides>
<config/> <config> <default-policy/> </config>
<route> <route>
<service name="Nic"><child name="nic_drv"/></service> <service name="Nic"><child name="nic_drv"/></service>
<any-service><parent/></any-service> <any-service><parent/></any-service>