Pintos gdb不能正常工作

Question

我正在研究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

Answer 1

您需要运行：pintos --gdb -- run alarm-multiple