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

[Douglas Silva]

> 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.