By this : Integrating u-boot in the image is a *very* great idea. But why ship the image with u-boot if edk is reported to work better? as stated in https://www.openbsd.org/arm64.html
I meant only rpi-4-b, but the obsd arm64 img targets other hardware. So this was misleading. The real question was and still is: Any idea how to properly boot amr64 obsd78 on rpi-4-b?
