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>