Eric Sagnes 80b854739c grub module: use enum		2016-11-04 13:05:13 +09: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 module: use enum	2016-11-04 13:05:13 +09: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