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. Pintos was created at Stanford University by Ben Pfaff in 2004.