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