Pintos is an educational operating system for the x86. Pintos was developed for Stanford's CS 140 operating systems.