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
generic-extlinux-compatible
grub	grub module: suggest by-id paths for devices	2018-02-24 10:50:23 +00:00
init-script
raspberrypi
systemd-boot	Include date and NixOS version in systemd-boot entries	2017-09-02 14:28:34 -04:00
efi.nix
loader.nix