NetBSD on rk3588 / Radxa Rock 5

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

Hi!

According to NetBSD trunk: https://github.com/NetBSD/src/blob/trunk/distrib/
sets/lists/dtb/ad.aarch64
rk3588 support got added about 8 months ago. NetBSD 11.1 released 5(?) days 
ago meaning it includes rk3588 support.
So I have installed UEFI firmware on my Rock 5C and my Rock 5B+. However I've 
had zero success getting NetBSD 11.1 to boot on either devices.
Any specific settings I need to configure for this to work? What am I missing?

I am guessing that the ./boot/dtb/rockchip/rk3588s-rock-5a.dtb is most 
definitely going to work with the Rock 5C due to how extremely similar the 5C 
is to the 5A? Not sure about 5B+ though.

Thank you!