On Thu, 23 Apr 2026, at 06:59, Bernhard Ernst wrote: > > No output to HDMI or serial? What exactly happens when booting?
It'll boot fine on sdcard. I'm seeing serial output. I've posted more here: https://marc.info/?l=openbsd-arm&m=177690728001647&w=2 Without the sdcard, when booting to usb3, it gets to where you'd expect it to hand over to OpenBSD, can't find it and drops to the UBoot prompt.
