Hola,
estoy haciendo unos scripts en PHP y he tenido la necesidad de compilarme PHP (7.1 en este caso) para la cpu ARM del Solo 4K.
Si a alguien le interesa, adjunto un fichero comprimido con todos los ipk, también incluyo el fpm por si se quiere montar un server web con nginx o apache.
Un saludo
[archivo adjunto borrado por exceder el tamaño máximo : 10000kB]