On Mon, 22 Oct 2018 19:41:09 +0200 Pascal Hambourg <pas...@plouf.fr.eu.org> wrote:
> > GRUB does not even need a MiB BIOS boot partition. AFAICS, the > biggest generated core image embedding all required drivers fits into > 128 KiB. But all kernels get upgraded, and many people like to keep a spare one around, just in case... -- Joe
