哎。。这是我最起码3个星期得出的纠结结论。。。由于这点,使得我的进度一直受阻。虽然听上去很简单,但是我却发现地很晚。。
问题:pintos run args-*一类的会出现load failed。
解决方案:因为需要把userprog/build/tests/userprog中的可执行文件按照pintos -p [directory and name] -a name -- -q 导入一开始创建的fs.dsk中,这样才能跑,而make check则省去了你的这个步骤,因为预先帮你们配好了。
总结:如果你想要check你的答案,则要make check ,虽然这会浪费你的时间。