Fix boot under Bochs when Pintos is compiled with recent GCC.
authorRuss Ross <russ@dixie.edu>
Thu, 25 Aug 2011 03:41:30 +0000 (20:41 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 25 Aug 2011 03:41:54 +0000 (20:41 -0700)
commita094a81a89ccd919a338aa0acfa6cdae282bdf50
tree2dc600ea5316b8180b36591775f954034ea2fa6e
parent2d5d792bc8f8a577fffd997f10bd2cea8873ff3c
Fix boot under Bochs when Pintos is compiled with recent GCC.

When compiled according to the instructions, bochs fails to load
the project 1 kernel.  This seems to be due to the latest gcc using an
instruction that bochs is not compiled to support.  Adding the
'--enable-cpu-level=6' configure option to Bochs, as this commit does,
seems to work.
src/misc/bochs-2.2.6-build.sh