1 files changed, 1 insertions, 0 deletions
diff --git a/arch/x86/kernel/Makefile b/arch/x86/kernel/Makefile
index 430d5b24af7b..832cb838cb48 100644
--- a/arch/x86/kernel/Makefile
+++ b/arch/x86/kernel/Makefile
@@ -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/

diff --git a/arch/x86/kernel/Makefile b/arch/x86/kernel/Makefile index 430d5b24af7b..832cb838cb48 100644 --- a/arch/x86/kernel/Makefile +++ b/arch/x86/kernel/Makefile
@@ -52,6 +52,7 @@ obj-$(CONFIG_X86_DS_SELFTEST) += ds_selftest.o
52	obj-$(CONFIG_X86_32) += tls.o	52	obj-$(CONFIG_X86_32) += tls.o
53	obj-$(CONFIG_IA32_EMULATION) += tls.o	53	obj-$(CONFIG_IA32_EMULATION) += tls.o
54	obj-y += step.o	54	obj-y += step.o
		55	obj-$(CONFIG_INTEL_TXT) += tboot.o
55	obj-$(CONFIG_STACKTRACE) += stacktrace.o	56	obj-$(CONFIG_STACKTRACE) += stacktrace.o
56	obj-y += cpu/	57	obj-y += cpu/
57	obj-y += acpi/	58	obj-y += acpi/