{ ... }: { imports = [ ../os ./options.nix ./hardware.nix ./dk.nix ]; networking.hostName = "curacao"; boot = { initrd.secrets = { "/etc/keys/rapido" = "/etc/keys/rapido"; "/etc/keys/rapswap" = "/etc/keys/rapswap"; }; loader = { grub.enableCryptodisk = true; efi.efiSysMountPoint = "/efi"; }; }; }