coreboot-kgpe-d16/src/mainboard/lenovo/t430s
..
acpi
acpi_tables.c
board_info.txt
cmos.default
cmos.layout
devicetree.cb
dsdt.asl
gpio.c
hda_verb.c
Kconfig
mainboard.c
Makefile.inc
romstage.c
smihandler.c
thermal.h