Implementation of the Berkeley cs162 nachos project