1 The patch in checkbochs.patch must be applied to Pintos before
2 Checkbochs will be useful. To apply it, `cd' to pintos/src and type
3 patch -p2 < misc/checkbochs.patch
5 Checkbochs and this patch were written by Sorav Bansal
6 <sbansal@stanford.edu>. They have been modified by Ben Pfaff