Jörg Thalheim 8bb4551273 systemd-boot: inline add_entry function		2016-09-30 13:56:19 +02:00
..
generations-dir
generic-extlinux-compatible	extlinux-conf-builder: Choose whether to use DTBs on per-generation basis	2016-07-10 03:03:51 +03:00
grub	grub: Do not check for duplicated devices in mirroredBoots on UEFI (#18625)	2016-09-25 07:37:18 +02:00
init-script
raspberrypi
systemd-boot	systemd-boot: inline add_entry function	2016-09-30 13:56:19 +02:00
efi.nix	Use systemd-boot instead of gummiboot	2016-05-31 17:02:47 +02:00
loader.nix