mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-22 00:41:55 +00:00
d87a235abb
Commit ac42ade introduced a regression that triggered an assertion in
`Dhcp_server::free_ip()` because the DHCP allocation was not properly
removed during a domain update. The underlying issue was that
`with_dhcp_server()` silently landed in the `no_dhcp_server_fn`.
Fixes #5364
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.