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