1 files changed, 0 insertions, 2 deletions
diff --git a/kern/kernel.c b/kern/kernel.c
index 5d8b31ae..bc70211b 100644
--- a/kern/kernel.c
+++ b/kern/kernel.c
@@ -20,7 +20,6 @@
 #include <kern/kernel.h>
 #include <kern/llsync.h>
 #include <kern/panic.h>
-#include <kern/rdxtree.h>
 #include <kern/task.h>
 #include <kern/thread.h>
 #include <kern/work.h>
@@ -36,7 +35,6 @@ kernel_main(void)
 {
     assert(!cpu_intr_enabled());
 
-    rdxtree_setup();
     cpumap_setup();
     task_setup();
     thread_setup();