x86, intel_txt: Intel TXT boot support
[linux-2.6.git] / arch / x86 / kernel / Makefile
index 430d5b2..832cb83 100644 (file)
@@ -52,6 +52,7 @@ obj-$(CONFIG_X86_DS_SELFTEST)         += ds_selftest.o
 obj-$(CONFIG_X86_32)           += tls.o
 obj-$(CONFIG_IA32_EMULATION)   += tls.o
 obj-y                          += step.o
+obj-$(CONFIG_INTEL_TXT)                += tboot.o
 obj-$(CONFIG_STACKTRACE)       += stacktrace.o
 obj-y                          += cpu/
 obj-y                          += acpi/