@gmoandres Hay versiones alternativas para Rockpi4:
https://archive.recalbox.com/
Pero creo que no es el foco del proyecto, dado el precio de esa tarjeta, sólo hay una pequeña parte de los usuarios que se interesan por ella.