Pintos Operating System. Building barebones of an OS from scratch.