pintos Source code for Pintos OS, modified from Pintos original over course of the semester Source for the original Pintos project and code can be found at https://web.stanford.edu/class/cs140/projects/pintos/pintos_1.html