Le noyau du système d'exploitation pédagogique Pintos

Pintos est un système d'exploitation pédagogique, complet avec documentation et projets modulaires préfabriqués qui initient les étudiants aux principes de la multiprogrammation, de l'ordonnancement, de la mémoire virtuelle et des systèmes de fichiers. En permettant aux étudiants d'exécuter leur produit de travail sur du matériel réel, tout en bénéficiant simultanément d'outils de débogage et d'analyse dynamique fournis dans des environnements simulés et émulés, Pintos augmente l'engagement des étudiants. Contrairement aux versions sur mesure de systèmes d'exploitation commerciaux ou open source tels que Linux, Pintos est conçu dès le départ d'un point de vue éducatif. Il a été utilisé par plusieurs institutions pendant de nombreuses années et est disponible pour un usage plus large.