Re: Rockchip RK3588

[Robert Swindells <rjs%fdy2.co.uk@localhost>]

John Klos <john%klos.com@localhost> wrote:
>>> I am running an Orange Pi 5 (not Max) in production with NetBSD 10 and
>>> EDK2. It works perfectly.
>>
>> Were there any EDK2 settings that you needed to change?
>> Your dmesg could be helpful.
>
> Same:
> https://dmesgd.nycbug.org/dmesgd?do=view&id=7151

Does the built-in ethernet controller work on that? It isn't even
showing up using pcictl(8) on mine, it works fine if I boot armbian.

I can now get mine to boot NetBSD once using EDK2, after clearing out
the SPI flash and rewriting the sd card, it freezes with no console
output on second and subsequent boots.

Have given up for now and will work on fdt drivers instead.