Il y a OpenGem basé sur Gem Desktop qui devrait être au large...
Mais pour répondre au besoin exprimé, je conseillerais quand même une Debian allégée pour pouvoir inclure cette machine dans un ensemble de Raspberry Pi (existant, ou à constituer au fil des occasions, dans un contexte de projet éducatif multi-postes).