genode/repos/os/recipes/pkg
Martin Stein 49a3a0e0d0 nic_router: multiple uplinks
Introduce the uplink tag:

! <config>
!    <uplink label="wifi"  domain="uplink">
!    <uplink label="wired" domain="wired_bridge">
!    <uplink               domain="wired_bridge">
! <config/>

For each uplink tag, the NIC router requests a NIC session with the
corresponding label or an empty label if there is no label attribute.
These NIC sessions get attached to the domain that is set in their
uplink tag as soon as the domain appears. This means their lifetime is
not bound to the domain. Uplink NIC sessions can be safely moved from
one domain to another without being closed by reconfiguring the
corresponding domain attribute.

Attention: This may render previously valid NIC router configurations
useless. A domain named "uplink" doesn't automatically request a NIC
session anymore. To fix these configurations, just add

! <uplink domain="uplink"/>

or

! <uplink label="[LABEL]" domain="uplink"/>

as direct subtag of the <config> tag.

Issue #2840
2018-06-29 10:44:53 +02:00
..
chroot depot: update recipe hashes 2018-06-13 13:52:12 +02:00
drivers_interactive-linux depot: update recipe hashes 2018-06-13 13:52:12 +02:00
drivers_interactive-pbxa9 depot: update recipe hashes 2018-06-13 13:52:12 +02:00
drivers_interactive-pc depot: update recipe hashes 2018-06-13 13:52:12 +02:00
nic_router-nat nic_router: multiple uplinks 2018-06-29 10:44:53 +02:00
nit_focus depot: update recipe hashes 2018-06-13 13:52:12 +02:00
rom_filter depot: update recipe hashes 2018-06-13 13:52:12 +02:00
rom_reporter depot: update recipe hashes 2018-06-13 13:52:12 +02:00
test-fs_report depot: update recipe hashes 2018-06-13 13:52:12 +02:00