1 files changed, 2 insertions, 0 deletions
diff --git a/kern/kernel.c b/kern/kernel.c
index e5469079..069649de 100644
--- a/kern/kernel.c
+++ b/kern/kernel.c
@@ -19,6 +19,7 @@
 #include <kern/init.h>
 #include <kern/kernel.h>
 #include <kern/llsync.h>
+#include <kern/percpu.h>
 #include <kern/task.h>
 #include <kern/thread.h>
 #include <kern/work.h>
@@ -34,6 +35,7 @@ kernel_main(void)
 {
     assert(!cpu_intr_enabled());
 
+    percpu_cleanup();
     cpumap_setup();
     task_setup();
     thread_setup();