Radxa Rock 5 model B, Turing Pi RK1, Orange Pi 5 (and Plus); there are a few others but those are the models I have purchased and tested. All are more efficient/faster... but also more expensive and less supported. Though RK3599 and 3588 SoCs have both been some of the most widely supported out of Rockchip for Linux applications. They still lack compared to Pi's support though.
The rk3588 is a nice chip, but support just isn't there yet if you want to do anything with the GPU. The "Panthor" GPU driver, which is the FOSS driver which supports its GPU, was just merged in to Linux and mesa this month[1] (yay!) which means you're probably gonna have to build your own kernel if you want it.
The old mali proprietary driver is borderline unusable on anything remotely modern, only really working on Linux 5.10 and special X11 builds with legacy features re-enabled.
It's crazy that the rk3588 has been on the market for many years at this point and is just now starting to be usable on Linux, but it's exciting that things are taking shape.
> They still lack compared to Pi's support though.
This should be the central lesson learned from the Raspberry Pi by open-source projects.
There will be faster, there will be smaller, there will be cheaper. But if the user can go on the web and find the _exact_ thing they're looking to do spelled out, they'll buy that product, every time.
Now imagine if RPi applied their magic to slightly newer hardware so there was no need to mess around with poorly-supported Allwinner/Rockchip/Mediatek boards.
Anyone know which SBCs use this chip?