Re: [Raspberry Pi 4] Installing OpenBSD 7.5 with difficulty

> Did you inject RPI UEFI firmware into the BOOT partition?


Are you talking about some third-party bootloader software? No, I'm
using the default U-Boot that comes with the miniroot. No modification
required.