alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Adapt run scripts to nic_bridge default policy

Browse Source
This commit is contained in:
Christian Helmuth
2019-02-19 11:49:04 +01:00
parent ff9dc178d9
commit 693a1f7f8c
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
run/remote_rom_backend_nic_ip.run
View File

@@ -98,9 +98,7 @@ install_config {
<service name="Nic"> <child name="nic_drv"/> </service>
<any-service> <parent/> </any-service>
</route>
<config>
<nic tap="tap1"/>
</config>
<config> <default-policy/> </config>
</start>
<start name="nic_drv">
<binary name="} [nic_drv_binary] {" />