{ pkgs, ... }: { # grub utilisé pour le bootloader boot.kernelPackages = pkgs.linuxPackages_latest; boot.loader.grub = { enable = true; device = "nodev"; efiSupport = true; useOSProber = false; # nombre de configurations à garder en mémoire configurationLimit = 10; }; boot.loader.efi.canTouchEfiVariables = true; }