As dhcpv4 is a default feature, it is easy to forget that it is set. If one sets HERMIT_IP (orHERMIT_GATEWAY/HERMIT_MASK) with dhcpv4 enabled, the value from the environment is ignored.
I suggest emitting a warning if dhcpv4 is enabled and HERMIT_IP, HERMIT_GATEWAY, or HERMIT_MASK is set.
As
dhcpv4is a default feature, it is easy to forget that it is set. If one setsHERMIT_IP(orHERMIT_GATEWAY/HERMIT_MASK) with dhcpv4 enabled, the value from the environment is ignored.I suggest emitting a warning if
dhcpv4is enabled andHERMIT_IP,HERMIT_GATEWAY, orHERMIT_MASKis set.(Probably just needs a few lines in https://github.com/hermit-os/kernel/blob/285f28af2b077a85723376c82ad8e38f508716d1/src/executor/device.rs#L43)