{ config, ... }: { imports = [ ]; krebs.build.host = config.krebs.hosts.hilum; boot.loader.grub.extraEntries = '' menuentry "grml" { iso_path=/isos/grml.iso export iso_path search --set=root --file $iso_path loopback loop $iso_path root=(loop) configfile /boot/grub/loopback.cfg loopback --delete loop } ''; }