Ubuntu下安装 Pintos
安装Pintos之前需要先把 bochs-2.2.6-pintos.tar和pintos-tar下载到自己的目录文件中。这两个压缩包在课程网站提供下载,也有同学已经将自己的安装过程和这两个文件一起共享在群里。
该文档针对那些第一次安装 Ubuntu,看完参考资料和其他同学安装过程文档依然无法解决问题或者被这些资料弄的晕头转向的同学。(另外有部分同学提出网站上下载的bochs-2.2.6-pintos.tar和pintos-tar两个文件无法解压的问题,如果还有遇到类似困惑的就双击提取文件即可。)
如果你是新安装的Ubuntu,不清楚自己的系统都需要安装什么环境,可以参考pintos.pdf 100页的介绍,也可以看下文所做的汇总。
首先安装bochs:
先将你下载好的两个文件解压,然后进入你的/home,新建一个文件夹os2014,把加压后的两个文件放进去,接着打开你的命令终端:
首先安装以下软件(以下四个软件通过在命令行分别输入):
1:“sudo apt-get install build-essential”
2:“sudo apt-get install xorg-dev”
3:“sudo apt-get install bison”
4:“sudo apt-get install libgtk2.0-dev”
以上四个安装可以确保你避免其他问题。
安装完毕以后在命令行输入“cd bochs-2.2.6”,进入bochs-2.2.6目录内,输入命令“./configure”进行配置操作。配置完成以后输入命令“sudo make install”进行编译。最后输入命令“bochs”,bochs安装完成。
最后安装pintos: 输入命令“cd pintos”,进入pintos目录下面,再输入“cd src”,“cd threads” “make”安装完成。