My full implementation the NachOS code base for CS162 Fall 2010. Please see wiki for more details. - View it on GitHub