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