Pintos
Pintos and its accompanying assignments are also written in the programming language C instead of C++ ( used for original Nachos ) or Java ( used for Nachos 5 . 0j ) . 
<triplet> Pintos <subj> C <obj> programming language