Bug#1135731: does not boot on raspberry pi 4 (grub_memcpy not found)

[Pascal Hambourg]

On 05/05/2026 at 13:41, Steve McIntyre wrote:
> 
> Yup, that's exactly where I was going. Unfortunately, lots of people
> just end up copying a grub binary into place once (whether by directly
> copying, or by using grub-install manually) and that works *now* but
> leaves them primed for a fall on future upgrades.
> 
> It's been a problem for years with BIOS boot, but we can't 100% solve
> that due to the space limitations and needing a core images.

Do you mean the size of the gap between the MBR and the first partition 
or the BIOS boot partition (usually ~1MB) ? Do you have an idea of the 
size of a grub-pc monolithic image ?

> Switching to the monolithic image for EFI is possible, and it's time
> we just did it.

It would solve the core image vs module version mismatch but not the 
fact that the active boot image is not updated, it would only make it 
unnoticed.