Ricardo M. Correia 123cbd40c2 raspberryPi boot loader: don't remove xx-initrd files ... The Raspberry Pi boot loader was deleting all xx-initrd text files (which simply contain the path to the actual initrd files) just after having created them. The code was actually trying to delete real, obsolete initrd files, which are named <hash>-initrd-initrd (after path cleaning), but the glob was catching the other files as well.		2017-02-12 02:48:57 +02:00
..
generations-dir	fix indentation in several nixos option descriptions	2016-12-16 18:29:25 +01:00
generic-extlinux-compatible	extlinux-conf-builder: Choose whether to use DTBs on per-generation basis	2016-07-10 03:03:51 +03:00
grub	Revert "fix 2 xml errors in the description of boot.loader.grub.efiInstallAsRemovable"	2016-12-17 11:45:31 +01:00
init-script
raspberrypi	raspberryPi boot loader: don't remove xx-initrd files	2017-02-12 02:48:57 +02:00
systemd-boot	systemd-boot: fix evaluation	2017-01-21 14:42:10 +01:00
efi.nix	Use systemd-boot instead of gummiboot	2016-05-31 17:02:47 +02:00
loader.nix