pintos -f -q
此命令将导致此错误
00000000000i[ ] 从 bochsrc.txt 读取配置 00000000000e[ ] bochsrc.txt:8: 'user_shortcut' 将被新的 'keyboard' 选项替换。00000000000i[ ] 将 nogui 模块安装为 Bochs GUI 00000000000i[ ] 使用日志文件 bochsout.txt PiLo hda1 Loading........ 内核命令行:-f -q Kernel PANIC at ../../threads vtop() 中的 /vaddr.h:84:断言“is_kernel_vaddr (vaddr)”失败。调用堆栈:0xc0028d9f。