i had same problem and i solved it.open "/pintos/src/tests/Make.tests"edit line 54 (delete -v)
TESTCMD = pintos -v -k -T $(TIMEOUT)
then, in "/threads/build" you can do
make check
做pintos 在make check时总遇到no "Pintos booting" message的错误,使用Stack Overflow上的解决方法成功,很想知道这是为什么。
i had same problem and i solved it.open "/pintos/src/tests/Make.tests"edit line 54 (delete -v)
TESTCMD = pintos -v -k -T $(TIMEOUT)
then, in "/threads/build" you can do
make check
问题链接:http://stackoverflow.com/questions/15354286/pintos-kernel-panic-with-v-option-bochs-on-ubuntu