When using -k, make sure to flush all of the subprocess's output to
[pintos-anon] / src / misc / bochs-2.2.6-triple-fault.patch
2006-04-08 Ben PfaffAdd patch to make a triple fault break to the gdb stub...