SrTobi eff8d3bdb1 nixos/grub: implements GRUB_SAVEDEFAULT feature ... Grub will remember the configuration that was booted and select it as default menu entry the next time (#108206).		2021-07-28 18:57:08 +02:00
..
generations-dir
generic-extlinux-compatible
grub	nixos/grub: implements GRUB_SAVEDEFAULT feature	2021-07-28 18:57:08 +02:00
init-script
raspberrypi
systemd-boot	nixos/systemd-boot: Use os.path.realpath to fully resolve symlinks	2021-06-24 17:52:03 +02:00
efi.nix
loader.nix