1 Pintos is an instructional operating system, complete with documentation
2 and ready-made, structured assignments that introduce students to the
3 principles of multi-programming, scheduling, virtual memory, and file systems.
4 By allowing students to run their work product on actual hardware,
5 rather than only in simulated or emulated environments, Pintos can
6 increase student engagement. Unlike tailored versions of commercial
7 or open source OS such as Linux, Pintos is designed from the ground up
8 from an educational perspective. Finally, Pintos includes a set of
9 debugging, diagnosis, and dynamic analysis tools to reduce the complexity
10 of kernel-level development.