Pintos GDB не работает

Question

Я работаю над pintos, для моей лаборатории os, однако важный инструмент gdb не работает.

Вот ссылка на их официальном сайте, чтобы использовать пинто http://web.stanford.edu/class/cs140/projects/pintos/pintos_10.html

Однако с моей установкой pintos он просто не работает. Вот скриншот того, что происходит, когда я запускаю pintos на своем терминале https://drive.google.com/file/d/0B2JLFvh4frRSbE11WkJRUDlSbjA/view?usp=sharing

Answer 1

Вам нужно запустить: pintos --gdb -- run alarm-multiple