El proyecto MiniNo comenzó en el año 2008 con el objetivo de crear una distro atractiva que funcionara en equipos con pocos recursos de hardware. Antonio Sánchez León, docente de un colegio público de Navarra, y Miguel Anxo Bouzada Fernández son los desarrolladores principales y coordinadores del proyecto. Actualmente ofrecen 3 distribuciones de Linux: Ártabros 2.1, Alguadaira 1.2.3 y PicarOS Diego. La última es la que más nos puede interesar desde un punto de vista educativo.

PicarOS Diego es una distribución multipropósito, enfocada principalmente a la educación y como distribución lúdica para usar en casa. Se recomienda para edades comprendidas entre 3 y 12 años. En el siguiente enlace se enumeran gran parte de sus características y las novedades de la versión del 2015:
https://minino.galpon.org/es/noticias/publicaci%C3%B3n-de-la-picaros-diego-2015

En este vídeo de presentación de PicarOS Diego se puede ver cómo funciona: