Jörg Thalheim 4e0423467a systemd-boot: port builder to python3 ... see #18185		2016-09-30 13:28:42 +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: port builder to python3	2016-09-30 13:28:42 +02:00
efi.nix	Use systemd-boot instead of gummiboot	2016-05-31 17:02:47 +02:00
loader.nix