Support for Rockchip RK3588S2?

Users have been asking us about RK3568 and RK3588 support since boards launched (3-years ago now) and there is some work in progress here: https://github.com/LibreELEC/LibreELEC.tv/pull/7864

However HDMI output support has only recently arrived and media codec drivers are still in the early stages of being written, and until those are done there's not a huge amount of point in us releasing images; hence the slow pace of progress.