La Universidad de Stanford utilizó NachOS hasta 2004, en que introdujo Pintos, un sistema operativo derivado de NachOS escrito en Lenguaje C y diseñado para correr en el actual hardware x86