Rockchip RK3588

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

Is anyone doing things with Rockchip RK3588 systems?

Tried booting an Orange Pi 5 Max using EDK2, it freezes fairly early
in the boot, looks to be still in pmapboot.

Not got pkgsrc u-boot to build correctly yet but a pre-built binary for
a similar board gets the kernel to the point of looking for a boot
device.

Have started modifying the pcie and matching phy drivers from OpenBSD.

The mmc (and rng) devices have device tree nodes that expect to call
into the SCMI firmware to enable the clocks. We have sys/dev/ic/scmi.c
derived from OpenBSD but the clocks part is #ifdefed out and there isn't
an FDT attachment for it.

Could try booting from USB next.