Any idea how to properly boot amr64 obsd78 on rpi-4-b? I've been testing many configs and env settings in u-boot, but nothing is working.
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 `ls mmc 0:1` shows some content but no bsd kernel. Where is bsd.rd? Couldn't find it on / in partition 1. Am I wrong in thinking that it should be there?
