Is this supposed to be a replacement for using PINTOS to build an OS in C? I remember the PINTOS projects as one of the most rewarding things I worked on in my college career.

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