Eelco Dolstra d210f30fa7 Omit GRUB if boot.loader.grub.device is set to "nodev" ... If we only need to generate a GRUB boot menu, we don't need GRUB itself. This cuts 38 MiB from EC2 system closures (in particular because it gets rid of the need for the 32-bit Glibc).		2013-06-04 14:07:25 +02:00
..
efi-boot-stub	rename deprecated option	2013-03-04 22:46:06 +01:00
generations-dir
grub	Omit GRUB if boot.loader.grub.device is set to "nodev"	2013-06-04 14:07:25 +02:00
gummiboot	gummiboot: Fix bug where old conf scripts for single-digit generations weren't removed	2013-04-30 13:03:14 -04:00
init-script
raspberrypi	Fixing the init= in raspberrypi loader.	2013-01-29 20:08:38 +01:00
efi.nix	gummiboot-builder.py: Update to latest gummiboot	2013-02-21 12:40:33 -05:00