PintOS

PintOS is an operating system project from stanford university

https://web.stanford.edu/class/cs140/projects/pintos/pintos.html

https://web.stanford.edu/class/cs140/projects/pintos/pintos.pdf