Ubuntu安装Pintos所需两个文档：bochs-2.6.7.tar.gz 和 pintos.tar.gz。我用的安装教程链接是：https://www.cnblogs.com/crayygy/p/ubuntu-pintos.html