Hi Stefan, pushed to guix master as commits c85f316ae986331cc5181da4bcc757078d7a9412 (implementation) and 740fd97ebeadebc02448cb0482084f359938b5fe (documentation), after successful test. Thanks! If you think this concludes this bug report, please close it (any mail to 41011-done@debbugs.gnu.org). Are there other parts still missing that you need? (I have a patch to dnsmasq to make it support configuring the built-in TFTP server that I've been using. I'll just post it to guix-patches@gnu.org so it gets a new number)