mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
7fc20e9ae8
The NIC router did update the IP config of a domain on a completed DHCP REQUEST but not on completed DHCP RENEW or DHCP REBIND. Thus, it didn't adapt to "real" DHCP servers (not NIC router servers) that got restarted with a changed configuration by the means of RENEW/REBIND. The commit fixes this. Note, that testing this is complicated as we don't have the necessary infrastructure (we cannot simply use the DHCP server of the NIC router as this would apply a link down/up sequence in order to let the client restart DHCP) Ref #4460
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.