{ pkgs, lib, ... }: { boot.loader = { systemd-boot.enable = false; efi.canTouchEfiVariables = true; efi.efiSysMountPoint = "/boot/EFI"; grub = { enable = true; efiSupport = true; devices = [ "nodev" ]; }; }; }