基于Ubuntu18.04安装Pintos

本文来源于StackOverflow社区中的一篇问答:点此进行跳转

前言

我是一名在校大学生,本想安稳过日子,奈何学校丧心病狂的布置了与Pintos有关的作业。本人在安装Pintos的路上历经磨难,最终在外国社区发现方法,所以写下此文以表纪念,也望对后来者有所帮助。

具体操作

如果你能进行科学上网,不如直接点开此链接,在油管上进行观看。

  1. 在终端运行sudo apt-get install qemu
  2. 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的报错)
  3. /utils/pintos-gdb用vim打开,编辑GDBMACROS变量,将你自己的Pintos完整路径赋给该变量。
  4. 用vim打开Makefile并将LOADLIBES变量名编辑为LDLIBS
  5. /src/utils中输入make来编译utils
  6. 编辑/src/threads/Make.vars(第7行):更改bochsqemu
  7. /src/threads并运行来编译线程目录make
  8. 编辑/utils/pintos(第103行):替换bochsqemu
  9. 编辑/utils/pintos(〜257行):替换kernel.bin为完整路径的kernel.bin
  10. 编辑/utils/pintos(〜621行):替换qemuqemu-system-x86_64
  11. 编辑/utils/Pintos.pm(362行):替换loader.bin为完整路径的loader.bin
  12. 打开~/.bashrc并添加export PATH=/home/.../pintos/src/utils:$PATH到最后一行。
  13. 重新打开终端输入source ~/.bashrc并运行
  14. 在Pintos下打开终端输入pintos run alarm-multiple

最后成功的话,会出现类似以下的图片:
这个是我把project1完成时的样子
这个是我把 project 1完成时的样子。
之后就可以开始上手操作了。这里建议以官方文档入手进行操作,在csdn上也有很多project的指南,可以参考。

最后

Pintos难度很大,但是也能得到很多收获,如果只是用于应付作业,难免有些暴殄天物。

Logo

为开发者提供学习成长、分享交流、生态实践、资源工具等服务,帮助开发者快速成长。

更多推荐