Pintos es un sistema operativo educativo creado en la Stanford University en 2004 y usado en los cursos de pregrado para introducir conceptos de diseño e implementación de un sistema operativo, requiriendo la implementación de partes bastante significativas de un sistema operativo real, como son el manejo de threads y memoria y el acceso al sistema de archivos.