It support OrangePI with the RK3588 but I have no idea how well the rest is supported out of the box. https://dietpi.com/

DietPi uses Armbian kernel builds for RK3588 which has RK1 support all ready. So it should be generally easy to get a working DietPi image, someone will just need to figure out how to handle the boot process with U-Boot.

If you haven't seen it yet, here: https://dietpi.com/forum/t/new-turingpi-rk1/19142/7