En la plataforma Pegasos funcionan multitud de sistemas operativos.