paranoiacblack/Obfuscated-OS — comment on commit 73a315f114e79c02932dfddd5249ee1cb1bfb79b
File: nachos/userprog/UserProcess.java line 407
By paranoiacblack:

This is the correct way to kill the kernel thread.