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