Initial nachos source code with cross-compiler included