@Etienne @igorp also worth to note that, the radxa kernel is also getting too far away from rockchip kernel.
Just have a look at this comparison
We are talking about about a fork of a fork with is forward ported from a 15 years older than the upstream project.
I would understand if the radxa is only doing DTS maintenance but they are adding new modules, chaging the headers of existing drivers etc, so i doubt that radxa fork would work on any other devices rather than Radxa’s. I would be surprised it would work also, because at that point i have no idea what they are doing with the kernel anymore, i also think after several years no one would understand including the people who made the fork of a fork, and dump this kernel somewhere deep in the internet. Not sure if those changes woul be merged backed to Rockchip fork as well.
So in this state only way to have a package with up to date kernel would be using Radxa’s fork but i dont think it has a place in AUR just for 1 single specific device.