Système d'exploitation Linux, de la société Red Hat, installé sur les OLPC.