I think there is a bug in the file " src/cpu/x86/pae/pgtbl.c"
the pg_table struct should be

    struct pg_table {
        struct pde pd[2048];
        struct pde pdp[4];
    } __attribute__ ((packed));

instead of
    struct pg_table {
        struct pde pd[2048];
        struct pde pdp[512];
    } __attribute__ ((packed));

Thx - Baski
--
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to