Jörg Thalheim 08cb89ae19 Merge pull request #19102 from Mic92/systemd-boot ... systemd-boot: port builder to python3		2016-10-03 10:47:18 +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	Merge pull request #18511 from ericsagnes/feat/remove-optionSet	2016-10-01 17:57:45 +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