环境配置 - CCXXXI/pintos GitHub Wiki

看文档，主要是【Appendix G Installing Pintos】部分。

一些注解

echo $?来看上一条指令是否出错，出错首先排查：

• 权限不足，sudo !!即可
• 缺少前置，一般sudo apt install <包名>即可

分步注解：

1. Install Bochs...
   • 文档里的版本是2.2.6，实测2.6.2是可用的，其它版本未测试
   • 按这个脚本配置，不用管文档的【G.1 Building Bochs for Pintos】部分
2. Install scripts from ‘src/utils’...
   • 直接把utils加进PATH就行
3. Install ‘src/misc/gdb-macros’ in a public location...
   • 直接把这里的GDBMACROS指向src/misc/gdb-macros就可以，没必要装到别的地方
4. Compile the remaining Pintos utilities by typing make in ‘src/utils’...
   • make时会报错，已修复
   • utils已经在PATH里面所以不需要装到其它地方
5. Pintos should now be ready for use...
   • 到src/threads里make check试试，正常应该会报27个test里有多少个没通过——能通过才比较奇怪，因为这时还没写project1
6. Optional: Build the documentation...
   • 已经build好了，在这里
     • 在文档里写如何获取这份文档……