1

我正在为我的操作系统实验室开发 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

4

1 回答 1

0

你需要运行:pintos --gdb -- run alarm-multiple

于 2019-08-26T13:50:27.243 回答