{ inputs, config, lib, pkgs, ... }: { boot.loader.grub = { enable = true; efiSupport = true; device = "nodev"; useOSProber = true; }; #boot.efi.canTouchEfiVariables = true; boot.kernelParams = [ "systemd.mask=dev-tpm0.device" "systemd.mask=dev-tpmrm0.device" ]; }