Hola, si te interesa, pregunta en google por Guadalinex. Es el Linux de la Junta de Andalucía, basado en Debian. Existe un proyecto educativo para llevar Linux a los colegios. Creo que puedes llegar a ellos desde la página de la Junta
www.juntadeandalucia.es
En la Consejería de Educación
Salu2