Pintos deriva de NachOS un sistema similar creado por la University of California, Berkeley.