Pintos

Pintos is a simple instructional operating system framework for the 80x86 architecture. The software supports kernel threads, loading and running user programs, and a file system, but it implements all of these in a very simple way. Pintos was created at Stanford University by Ben Pfaff in 2004. It originated as a replacement for Nachos, a similar system originally developed at UC Berkeley by Tom Anderson, and was designed along similar lines. Like Nachos, Pintos is intended to introduce undergraduates to concepts in operating system design and implementation by requiring them to implement significant portions of a real operating system, including thread and memory management and file system access. Pintos also teaches students valuable debugging skills.