Modified nachos.conf to use sh.coff, added Alex
's code so far