1 files changed, 3 insertions, 0 deletions

diff --git a/init/main.c b/init/main.c
index 2c5ade79eb81..56ada27c4f47 100644
--- a/init/main.c
+++ b/init/main.c
@@ -73,6 +73,7 @@
 #include <asm/io.h>
 #include <asm/bugs.h>
 #include <asm/setup.h>
+#include <asm/tboot.h>
 #include <asm/sections.h>
 #include <asm/cacheflush.h>
 
@@ -715,6 +716,8 @@ asmlinkage void __init start_kernel(void)
 
         ftrace_init();
 
+        tboot_create_trampoline();
+
         /* Do the rest non-__init'ed, we're now alive */
         rest_init();
 }