我正在为我的os实验室开发pintos,然而一个重要的工具gdb无法工作。
这是他们官方网站上使用拼图http://web.stanford.edu/class/cs140/projects/pintos/pintos_10.html#SEC151的链接
但是,在我安装pintos的过程中,当我在终端https://drive.google.com/file/d/0B2JLFvh4frRSbE11WkJRUDlSbjA/view?usp=sharing上运行pintos时,屏幕截图显示了它并不是working.Here
发布于 2019-08-26 21:50:27
您需要运行:pintos --gdb -- run alarm-multiple
https://stackoverflow.com/questions/30423780
复制相似问题