…
..
acpi
acpi_tables.c
board_info.txt
cmos.layout
devicetree.cb
dsdt.asl
gpio.h
Kconfig
Kconfig.name
mainboard.c
mainboard_smi.c
romstage.c
thermal.h