Le dim. 19 avr. 2020 08:45, John Paul Adrian Glaubitz
<glaubitz@physik.fu-berlin.de <mailto:glaubitz@physik.fu-berlin.de>> a
écrit :
On 4/19/20 8:39 AM, John Paul Adrian Glaubitz wrote:
> It might just be that we will have to increase the size of the
HFS boot
> partition as GRUB requires for disk space these days.
>
> Not sure though whether the partition is allowed to be larger by the
> firmware.
It seems that Gentoo recommends a partition size for the boot partition
of 128 MB [1].
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=691207
Adrian
> [1] https://wiki.gentoo.org/wiki/GRUB_on_Open_Firmware_(PowerPC)