pintos -f -q
This command will cause this error
00000000000i[ ] reading configuration from bochsrc.txt 00000000000e[ ] bochsrc.txt:8: 'user_shortcut' will be replaced by new 'keyboard' option. 00000000000i[ ] installing nogui module as the Bochs GUI 00000000000i[ ] using log file bochsout.txt PiLo hda1 Loading.......... Kernel command line: -f -q Kernel PANIC at ../../threads/vaddr.h:84 in vtop(): assertion `is_kernel_vaddr (vaddr)' failed. Call stack: 0xc0028d9f.