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
..
activation
boot
etc
upstart