Pesquisando por distribuições GNU/Linux como foco educacional, esbarrei no Qimo 4 kids. Segundo o site do projeto, ele é um sistema operacional baseado no Ubuntu com design voltado as crianças, com jogos educacionais pré-instalados.