coreboot-kgpe-d16/src/drivers/i2c/tpm
..
Kconfig
Makefile.inc
tis.h
tis_i2c.c
tpm.c
tpm.h
tpm_tis_i2c.c