• Russ Ross's avatar
    Fix boot under Bochs when Pintos is compiled with recent GCC. · a094a81a
    Russ Ross authored
    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.