{pkgs, ...}: { boot = { loader = { systemd-boot = { enable = true; }; efi = { canTouchEfiVariables = true; efiSysMountPoint = "/boot"; }; grub = { enable = false; device = "nodev"; }; }; initrd = { systemd.enable = true; }; }; }