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	s/boot.grubDevice/boot.loader.grub.device/ to shut down warnings	2013-04-10 23:54:37 +02:00
boot	Omit GRUB if boot.loader.grub.device is set to "nodev"	2013-06-04 14:07:25 +02:00
etc	Selectively allow /etc files to be disabled	2013-02-03 14:28:18 +01:00
upstart	Rename ‘boot.systemd’ to ‘systemd’	2013-01-16 12:33:18 +01:00