Pintos: Simple operating system framework for the 80x86 architecture

(2009) - The linked page says 2020 at the bottom, but this apparently identical page[1] says 2009.

1. https://web.stanford.edu/class/cs140/projects/pintos/pintos_...