genode/repos/os
Martin Stein ba55409c86 nic_router: keep dyn IP when updating domain obj
When updating the domain object of interfaces that stay with the same domain
during a reconfiguration, until now, the normal "detach raw" function was used.
This caused the old domain object to discard a dynamic IP config as all
interfaces detached. This caused interfaces also to discard network links
established with the old configuration although it wasn't necessary. Thus, now
we use a dedicated "detach" in case that an interface actually stays with its
domain. This new "detach" doesn't decrease the interface counter of the domain,
so, it'll not discard its dynamic IP config. If, however, during a
reconfiguration, there's no interface calling this function (all interfaces
move to another or no domain), the dynamic IP config is still discarded as
expected.

Fixes #3686
2020-03-26 11:38:55 +01:00
..
doc Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
include os/vfs.h: add Directory::Entry::rwx accessor 2020-02-27 14:46:58 +01:00
lib os: add sandbox lib to api/os 2020-02-20 12:11:22 +01:00
recipes rtc: system_rtc pkg for PC and Linux 2020-03-26 11:38:54 +01:00
run nic_stress: further reduce nr of rounds on sel4 2020-03-26 11:38:55 +01:00
src nic_router: keep dyn IP when updating domain obj 2020-03-26 11:38:55 +01:00
xsd timeout_types.xsd: Minutes type 2019-08-21 12:37:02 +02:00
README API documentation refinements 2017-05-31 13:16:21 +02:00

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.