PintOS，使用-v选项bochs在ubuntu上出现内核死机

Question

当我在.../build/中执行"pintos -- run alarm multiple“时，一切似乎都很正常。

但当我在.../build/所有7个测试中执行"make check“时，都失败了，并显示相同的"Run no start up :no "pintos but”消息“。

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‘不可用

Answer 1

似乎没人回答我。我自己终于明白了。只需更改bochs的configure：./configer --with-nogui，然后重新编译：

制作

sudo make install

在那之后，pintos的make检查将会起作用。

Answer 2

我也有同样的问题，我解决了它。打开“/pintos/src/-v/Make.test”编辑行54 (删除测试)

TESTCMD = pintos -v -k -T $(TIMEOUT)

然后，在"/threads/build“中，您可以这样做

make check

Answer 3

请记住，当您使用Ubuntu 14.04或16.04时，当您从Github下载原始pintos项目或任何pintos项目时，千万不要忘记做这些事情。

(Any line with no parentheses are terminal commands)
cd ~
gedit .bashrc

(add next line to the final of the file)
{export PATH="$PATH:/home/{username}/pintos/src/utils"}

(save)
bash

cd ~/pintos/src/utils
gedit Makefile
(You need to change one line)
{change LDFLAGS = -lm to LDLIBS = -lm}
(save)
make

然后，您可以编译并运行"make check“来检查pintos，而不会出现错误。

(任何~/pintos应更改为您的pintos路径)

记住，在~/pintos/src/utils中进行最后的make是非常重要的。否则，您将得到“运行没有正确启动:没有"Pintos启动”消息“。

你可以在这里查看完整版本。http://www.luosheng-parallelbgls.com.cn/2016/03/29/pintos-install/因为这是一个中文版本，我将感谢任何能把它翻译成英文的人。