coreboot-kgpe-d16/src/mainboard/siemens/mc_bdx1
..
acpi
acpi_tables.c
board_info.txt
cmos.layout
devicetree.cb
dsdt.asl
fadt.c
irqroute.c
irqroute.h
Kconfig
Kconfig.name
mainboard.c
Makefile.inc
romstage.c