On Thu, 2026-10-22 at 18:22 +0200, Philippe Delavalade wrote: > In my preceeding post I forgot to say that the boot partition should > be of type ef00 (for gdisk) and have a vfat filesystem.
No! "# parted /dev/disk set partition-number bios_grub on If you are using gdisk, set the partition type to ‘0xEF02’. With partitioning programs that require setting the GUID directly, it should be ‘21686148-6449-6e6f-744e656564454649’." - https://www.gnu.org/software/grub/manual/grub/html_node/BIOS-installation.html#BIOS-installation But first, you need to free space for it.
