-This patch must be applied to Pintos before Checkbochs may be usefully
-applied to it. To apply it, `cd' to pintos/src and type
- patch -p2 < misc/checkbochs.patch
-
-Written by Sorav Bansal <sbansal@stanford.edu>.
-Modified by Ben Pfaff <blp@cs.stanford.edu>.
-