安装nachos

1.在usr/local下创建文件夹

mkdir Nachos

2.将nachos移动到该文件夹下

sudo mv nachos-java.tar.gz /usr/local/Nachos

3.更换路径，解压文件

tar -xzvf nachos-java.tar.gz

4.进入文件夹pro1

cd nachos/pro1

5.编译

make

6.PATH变量设置

sudo gedit /etc/profile

将路径（本文路径在操作1、2中体现，不同操作路径可能不同）加入到PATH变量

# nachos excutation
export PATH=$PATH:/usr/local/Nachos/nachos/bin

source /etc/profile

7.运行

nachos

8.问题
make

sudo apt-get install make