.../build/ で "pintos -- run alarm-multiple" を実行すると、すべて問題ないようです。
しかし、.../build/ で "make check" を実行すると、7 つのテストすべてが同じ "Run did not start up successfully: no "pintos booting" message" で失敗しました。
pintos -v -k -T 60 --bochs -- -q run alarm-single < /dev/null 2> tests/threads/alarm-single.errors > tests/threads/alarm-single.output
perl -I../.. ../../tests/threads/alarm-single.ck tests/threads/alarm-single tests/threads/alarm-single.result
FAIL tests/threads/alarm-single
Run didn't start up properly: no "Pintos booting" message
次に、.../build で「pintos -v -k -T 60 --bochs -- -q run alarm-single」を発見しました。
Bochs は次のメッセージで終了しています: [ ] bochsrc.txt:12: 表示ライブラリ 'nogui' が利用できません
「-v」を取り除けば問題ありません。
この表示ライブラリ「nogui」が利用できない問題を修正する方法