Hopefully this is fairly simple.  If I left anything out or if you
have any problems, please e-mail tjames@cs.washington.edu.

These instructions for for x86 linux only.  If you would like to
compile on another platform, I won't be able to help you debug it.
Remember that you will still need to submit using the "turnin" program
as you have in other classes.

Instructions
------------

Log on to one of the linux servers - tahiti.cs, fiji.cs, sumatra.cs,
or ceylon.cs.

Download nachos.tar.gz from the web page:
http://www.cs.washington.edu/education/courses/cse451/00sp/projects/nachos.tar.gz
into some directory and type the following commands.

gunzip nachos.tar.gz
tar -xvf nachos.tar
cd nachos-4.0/code
cp ports/x86.linux Makefile.dep
cd threads
gmake depend
gmake
nachos

And voila!  You've run nachos.

If the last command "nachos" does not work, you can type "./nachos"
This is because you don't have "." (the current directory) in your path.
If you don't want to type ./nachos every time, make sure to edit your
.cshrc to have a line something like this:

setenv PATH .:$PATH