…
..
acpi
acpi_tables.c
agesawrapper.c
agesawrapper.h
BiosCallOuts.c
board_info.txt
buildOpts.c
cmos.layout
devicetree.cb
dsdt.asl
irq_tables.c
Kconfig
mainboard.c
Makefile.inc
mptable.c
OptionsIds.h
PlatformGnbPcie.c
PlatformGnbPcieComplex.h
romstage.c