【发布时间】：2015-05-24 12:59:57
【问题描述】：
我正在为我的操作系统实验室开发 pintos，但是一个重要的工具 gdb 无法正常工作。
这是他们官方网站上使用 pintos 的链接http://web.stanford.edu/class/cs140/projects/pintos/pintos_10.html#SEC151
但是，在我安装 pintos 时，它无法正常工作。这是我在终端上运行 pintos 时发生的屏幕截图 https://drive.google.com/file/d/0B2JLFvh4frRSbE11WkJRUDlSbjA/view?usp=sharing
【问题讨论】：
标签： pintos