Installation Instructions for Nachos:

1. Download Nachos distribution from

www.cse.buffalo.edu/~bina/cse421/fall2005/

2. Untar the file 
   tar xvf <fileName>

3. Build Nachos
   cd nachos-3.4/code
   gmake all  	  

4. To test Nachos
   cd nachos-3.4/code/userprog
   ./nachos -rs 1234 -x ../test/halt

5. You can see
(~/nachos-3.4/code/userprog} > ./nachos -rs 1234 -x ../test/halt

Machine halting!

Ticks: total 22, idle 0, system 10, user 12
Disk I/O: reads 0, writes 0
Console I/O: reads 0, writes 0
Paging: faults 0
Network I/O: packets received 0, sent 0

Cleaning up...

6. You have successfully installed Nachos if you see this :)