Ludovic Courtès <ludo@gnu.org> writes:

>>     How big should the boot partition be? Mine seems to have been too
>>     small, so I got warnings when formatting as FAT32.
>
> I think the recommendation is to have 50+ MiB for /boot/efi.  Marius,
> could you confirm?  We should definitely write it down.

IIRC "documentation" recommends something on the order of 500MiB, but I
haven't had problems with sizes as small as 20MiB and FAT16.

Not sure what to recommend, grub only requires ~125KiB!