1 Pintos is an instructional operating system, complete with documentation
2 and ready-made, modular projects that introduce students to
3 the principles of multi-programming, scheduling, virtual memory,
4 and filesystems. By allowing students to run their work product on
5 actual hardware, while simultaneously benefiting from debugging
6 and dynamic analysis tools provided in simulated and emulated environments,
7 Pintos increases student engagement. Unlike tailored versions of
8 commercial or open source OS such as Linux, Pintos is designed from the
9 ground up from an educational perspective.
10 It has been used by multiple institutions for a number of years and
11 is available for wider use.
12 %Finally, Pintos includes a set of debugging, diagnosis, and dynamic analysis
13 %tools to reduce the complexity of kernel-level development.