Commit a094a81a authored by Committed by Ben PfaffBrowse files
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.