1 files changed, 2 insertions, 0 deletions
diff --git a/kern/kernel.c b/kern/kernel.c
index 5508d569..d636d54a 100644
--- a/kern/kernel.c
+++ b/kern/kernel.c
@@ -20,6 +20,7 @@
 #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>
@@ -34,6 +35,7 @@ kernel_main(void)
     cpu_intr_enable();
 
     /* Initialize the kernel */
+    rdxtree_setup();
     cpumap_setup();
     task_setup();
     thread_setup();