1 files changed, 2 insertions, 0 deletions
diff --git a/kern/kernel.c b/kern/kernel.c
index 93c0c19c..1acd5308 100644
--- a/kern/kernel.c
+++ b/kern/kernel.c
@@ -17,6 +17,7 @@
 
 #include <kern/init.h>
 #include <kern/kernel.h>
+#include <kern/llsync.h>
 #include <kern/panic.h>
 #include <kern/task.h>
 #include <kern/thread.h>
@@ -33,6 +34,7 @@ kernel_main(void)
     /* Initialize the kernel */
     task_setup();
     thread_setup();
+    llsync_setup();
 
     /* Rendezvous with APs */
     cpu_mp_sync();