coreboot-kgpe-d16/src/mainboard/lenovo/x230
..
acpi
variants
acpi_tables.c
board_info.txt
cmos.default
cmos.layout
devicetree.cb
dsdt.asl
hda_verb.c
Kconfig
Kconfig.name
mainboard.c
Makefile.inc
smihandler.c
vboot-ro-me_clean.fmd
vboot-ro.fmd
vboot-rwab.fmd