{ config, pkgs, ... }: { imports = [ <stockholm/krebs> <stockholm/krebs/2configs> { boot.loader.grub = { device = "/dev/sda"; splashImage = null; }; boot.initrd.availableKernelModules = [ "ata_piix" "vmw_pvscsi" ]; fileSystems."/" = { device = "/dev/sda1"; }; } { networking.dhcpcd.allowInterfaces = [ "enp*" ]; } { sound.enable = false; } ]; krebs.build.host = config.krebs.hosts.test-arch; }