Le 22/10/2018 à 19:48, Joe a écrit :
On Mon, 22 Oct 2018 19:41:09 +0200 Pascal Hambourg <pascal@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...
A BIOS boot partition is not to be confused with a /boot partition. It only serves to store a (one single) GRUB core image, not Linux kernel images.