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)
commit5f011b3fa67f5d9dadcb588a547023bc6a322d52
treee37fd5e61a0c8097af3d9982438e2ae4bf8a6f90
parent86695a3270e3d8c325488934383ba17fec4ce7aa
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