coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
pae Directory Reference
Directory dependency graph for pae:
src/cpu/x86/pae

Files

file  pgtbl.c [code]