coreboot-kgpe-d16/src/drivers/tpm
..
Kconfig
Makefile.inc
ppi.c
ppi_stub.c
tpm.c
tpm_ppi.h