Voor de zoveelste keer tijdens een installatie: wat zijn ook alweer de benodigde partities sinds UEFI?
In ieder geval /boot
, groot genoeg voor een stuk of drie Linux-images; met 50-70 MB per stuk is 200 MB ruim voldoende.
Dan is er de BIOS-boot-partitie, waar de UEFI-bestanden terechtkomen. Volgens specificaties tot zo’n 500 MB, maar mag ook minder zijn. Gok ook op 200 MB.
Uiteindelijk: een kleine partitie (1-2 MB is meer dan genoeg) voor de het deel van de bootloader wat voorheen in de loze ruimte in de partitietabel weggeschreven werd. In tegenstelling tot een DOS-partitieschema, heeft GPT geen loze ruimte.
Het is wel nodig om GRUB over te halen gebruik te maken van die loze ruimte, anders meldt grub-install
dat use of blocklists ‘discouraged’ is:
# grub-install /dev/sda1 --force
… vooropgesteld natuurlijk dat de mini-partitie te vinden is op /dev/sda1.