Pintos This is the Pintos operating system https://pintos-os.org/ I plan on adding various features. As of the init commit the OS runs properly. Cloned from https://github.com/jhu-cs318/pintos.git and edited