Pintos安装指南
Pintos安装指南基于Ubuntu18.04安装Pintos前言具体操作最后基于Ubuntu18.04安装Pintos本文来源于StackOverflow社区中的一篇问答:点此进行跳转前言我是一名在校大学生,本想安稳过日子,奈何学校丧心病狂的布置了与Pintos有关的作业。本人在安装Pintos的路上历经磨难,最终在外国社区发现方法,所以写下此文以表纪念,也望对后来者有所帮助。具体操作如果你能进
·
Pintos安装指南
基于Ubuntu18.04安装Pintos
本文来源于StackOverflow社区中的一篇问答:点此进行跳转
前言
我是一名在校大学生,本想安稳过日子,奈何学校丧心病狂的布置了与Pintos有关的作业。本人在安装Pintos的路上历经磨难,最终在外国社区发现方法,所以写下此文以表纪念,也望对后来者有所帮助。
具体操作
如果你能进行科学上网,不如直接点开此链接,在油管上进行观看。
- 在终端运行
sudo apt-get install qemu
- 从git公共库获得最新Pintos,下载.tar .gz到你自己的目录并解压。(注意:不要下载旧版本,不然可能会遇到
Unrecognized character \x16; marked by <-- HERE after if ($<-- HERE near column 7 at /home/adambomb/src/pintos/src/utils/pintos line 911
的报错) /utils/pintos-gdb
用vim打开,编辑GDBMACROS
变量,将你自己的Pintos完整路径赋给该变量。- 用vim打开Makefile并将
LOADLIBES
变量名编辑为LDLIBS
- 在
/src/utils
中输入make
来编译utils - 编辑
/src/threads/Make.vars
(第7行):更改bochs
为qemu
- 在
/src/threads
并运行来编译线程目录make
- 编辑
/utils/pintos
(第103行):替换bochs
为qemu
- 编辑
/utils/pintos
(〜257行):替换kernel.bin
为完整路径的kernel.bin - 编辑
/utils/pintos
(〜621行):替换qemu
为qemu-system-x86_64
- 编辑
/utils/Pintos.pm
(362行):替换loader.bin
为完整路径的loader.bin - 打开
~/.bashrc
并添加export PATH=/home/.../pintos/src/utils:$PATH
到最后一行。 - 重新打开终端输入
source ~/.bashrc
并运行 - 在Pintos下打开终端输入
pintos run alarm-multiple
最后成功的话,会出现类似以下的图片:
这个是我把 project 1完成时的样子。
之后就可以开始上手操作了。这里建议以官方文档入手进行操作,在csdn上也有很多project的指南,可以参考。
最后
Pintos难度很大,但是也能得到很多收获,如果只是用于应付作业,难免有些暴殄天物。
更多推荐
已为社区贡献1条内容
所有评论(0)