{ config, pkgs, ... }: 
{
	boot.kernelPackages = pkgs.linuxPackages_latest;
	boot.loader.grub = {
                enable = true;
	        device = "nodev"; 
                efiSupport = true;
                useOSProber = true;
                configurationLimit = 10;
        };
        boot.loader.efi.canTouchEfiVariables = true;
}