Add TPM support to coreboot

[coreboot.git] / src / pc80 / Makefile.inc

diff --git a/src/pc80/Makefile.inc b/src/pc80/Makefile.inc
index c7c0cd5d0a304bee0209a5361588de483b78b0dc..cd6ea33483508d4984b0e94eee6c4f3a1e1979fc 100644 (file)
--- a/src/pc80/Makefile.inc
+++ b/src/pc80/Makefile.inc
@@ -1,8 +1,16 @@
-obj-y += mc146818rtc.o
-obj-y += isa-dma.o
-obj-y += i8259.o 
-obj-$(CONFIG_UDELAY_IO) += udelay_io.o
-obj-y += keyboard.o
+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
 
-#initobj-y += serial.o
+romstage-$(CONFIG_USE_OPTION_TABLE) += mc146818rtc_early.c
 subdirs-y += vga
+
+cbfs-files-$(CONFIG_HAVE_CMOS_DEFAULT) += cmos.default
+cmos.default-file = $(CONFIG_CMOS_DEFAULT_FILE)
+cmos.default-type = 0xaa
+
+smm-y += mc146818rtc.c