I think there is a bug in the file " src/cpu/x86/pae/pgtbl.c"<br>the pg_table struct should be<br><br> struct pg_table {<br> struct pde pd[2048];<br> struct pde pdp[4];<br> } __attribute__ ((packed));<br>
<br>instead of <br> struct pg_table {<br> struct pde pd[2048];<br> struct pde pdp[512];<br> } __attribute__ ((packed));<br><br>Thx - Baski<br>