Add "-k" option to pintos script. When used, pintos will scan the
[pintos-anon] / src / misc / bochs-2.2.6.README
2006-04-08 Ben PfaffAdd patch to make a triple fault break to the gdb stub...
2006-04-05 Ben PfaffExplain new patches.
2006-04-03 Ben PfaffFirst stab at Bochs 2.2.6 upgrade (not yet tested).