Pintos is an educational operating system originally developed by Ben Pfaff at Stanford University. This site hosts the original Pintos git repository for students which contains all sources and documentation as well as the complete development history. It also hosts the Pintos documentation generated from the repository but slightly modified to accommodate undergraduate and graduate operating systems classes at the University of Salzburg.
Reference solutions, experience reports, and advice for teaching assistants are also available to professors upon request. Please email your GitHub username to Christoph Kirsch for pull access to the complete Pintos for teachers repository.