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

