NetBSD on Orange Pi 5

[John Klos <john%ziaspace.com@localhost>]

Hi, all,

I see that the RK3588 is supported by NetBSD, according to this:

https://wiki.netbsd.org/ports/evbarm/rockchip/

But, as far as I can tell, there's no UEFI for this board, nor u-boot for 
it in pkgsrc yet. So how would one boot this?

Thanks,
John