nixpkgs/modules/system/boot/loader/grub
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
..
grub.nix Omit GRUB if boot.loader.grub.device is set to "nodev" 2013-06-04 14:07:25 +02:00
install-grub.pl Making grub display 'All configurations', not 'Old' 2013-04-16 11:09:25 +02:00
memtest.nix Fix the fix of the description of the memtest86 option 2013-01-22 19:25:14 +01:00
winkler-gnu-blue-640x480.png
winkler-gnu-blue.README