Linus Heckemann fd77a08b34 grub module: suggest by-id paths for devices ... Since they are more stable, their use should be encouraged over that of potentially volatile identifiers like /dev/[sh]da.		2018-02-24 10:50:23 +00:00
..
generations-dir	fix indentation in several nixos option descriptions	2016-12-16 18:29:25 +01:00
generic-extlinux-compatible
grub	grub module: suggest by-id paths for devices	2018-02-24 10:50:23 +00:00
init-script
raspberrypi	raspberryPi boot loader: don't remove xx-initrd files	2017-02-12 02:48:57 +02:00
systemd-boot	Include date and NixOS version in systemd-boot entries	2017-09-02 14:28:34 -04:00
efi.nix
loader.nix