NetBSD on crashes on Radxa Rock 5B+

[Tuxifan <tuxifan%posteo.de@localhost>]

On Saturday, November 7, 2026 3:13:42 PM Central European Standard Time Benny 
Siegert wrote:
> FWIW, I run an OrangePi 5, which is an R3588, in production with NetBSD
> 11. I use the UEFI firmware from github.com/edk2-porting/edk2-rk3588. Zero
> issues.

Ah! I have gotten it to boot using that firmware on my Rock 5B+! (unfortunately 
they don't seem to have any firmware for the Rock 5C?)

But I'm now being dropped into the debugger after USB initialization:
https://paste.debian.net/hidden/86ed4518?lines=0