Add TPM support to coreboot
[coreboot.git] / src / pc80 / Makefile.inc
index 4f126f681deb91b8a985f1ee9ed7d84704680187..cd6ea33483508d4984b0e94eee6c4f3a1e1979fc 100644 (file)
@@ -1,8 +1,10 @@
 ramstage-y += mc146818rtc.c
 ramstage-y += isa-dma.c
+ramstage-y += i8254.c
 ramstage-y += i8259.c
 ramstage-$(CONFIG_UDELAY_IO) += udelay_io.c
 ramstage-y += keyboard.c
+ramstage-$(CONFIG_TPM) += tpm.c
 
 romstage-$(CONFIG_USE_OPTION_TABLE) += mc146818rtc_early.c
 subdirs-y += vga