Re: Rockchip RK3588

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

Johann Rudloff <johann%sinyax.net@localhost> wrote:
>On 2 September 2025 21:22:45 CEST, Robert Swindells <rjs%fdy2.co.uk@localhost> wrote:
>>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.
>
> Just a few days ago I rebased my earlier patches towards FDT drivers
> for the rk3588 on top of HEAD:
>
> https://git.sr.ht/~cypheon/NetBSD
> (USB2.0, eMMC, SDHC, and HDMI are working. Currently no PCIe / onboard ethernet support, though)

I think that the PCIe drivers should be fairly easy to port from
OpenBSD, they have a similar structure to the USB-C one that I imported
recently.

I'm hoping that the rge(4) driver should "just work" once PCIe is there.

> I'm currently restarting an attempt to get those patches cleaned up and
> submitted for merging.
>
> I only have a Rock5B for testing, but maybe you find something useful in
> that tree for your board?

I will take a look.

Now is probably a good time to do a full update of the device tree
sources and not try to patch what is currently there.