Necesitarás una distribución compatible con la arquitectura del procesador
de ese modelo (ARM), por ejemplo Parabola GNU/Linux, en el caso de Trisquel
GNU/Linux aún no es compatible con las arquitecturas ARM.
Hay tutoriales para instalar otras distribuciones (aunque no son SO libres),
por ejemplo para Debian (aunque no sé si se podría adaptar ese tutorial
para alguno de los sistemas operativos libres):
http://chrisjrob.com/2011/03/13/installing-debian-on-a-thin-client-pc/
Nota: puedes intentar preguntar esa duda en el foro de Parabola ya que
soporta ARM por eso quizá alguno de sus usuarios pueda ayudarte mejor con
esa tarea.
