Pintos is an instructional operating system created at the Stanford University by Ben Pfaff in 2004. Pintos originated as a replacement for Nachos, a similar system originally developed at the University of California, Berkeley by Tom Anderson, and was designed along similar lines. Pintos was developed with an intention to introduce undergraduate students to concepts in operating system design and implementation by requiring them to implement significant portions of a real operating system, incl