coreboot-kgpe-d16/src/mainboard/winent/mb6047
..
acpi_tables.c
board_info.txt
cmos.layout
devicetree.cb
dsdt.asl
get_bus_conf.c
irq_tables.c
Kconfig
Kconfig.name
mainboard.c
mptable.c
romstage.c