drivers/ipmi/ocp: Add missing includemain
[coreboot.git] / src / drivers / pc80 / tpm / 
tree13c47c54a30581402cd1b32bcb818fe43ed90b0c
drwxr-xr-x   ..
-rw-r--r-- 620 Kconfig
-rw-r--r-- 100 Makefile.mk
-rw-r--r-- 327 chip.h
-rw-r--r-- 24489 tis.c
-rw-r--r-- 233 tpm.h