Changes in kernel/generic/src/main/main.c [8df5f20:b60615bd] in mainline

File:

• kernel/generic/src/main/main.c (modified) (3 diffs)

kernel/generic/src/main/main.c

@@ -83 +83 @@
 #include <ipc/ipc.h>
 #include <macros.h>
+#include <adt/btree.h>
 #include <smp/smp.h>
 #include <ddi/ddi.h>
@@ -160 +161 @@
  *
  */
-_NO_TRACE void main_bsp(void)
+NO_TRACE void main_bsp(void)
 {
         config.cpu_count = 1;
@@ -248 +249 @@
         ra_init();
         sysinfo_init();
+        btree_init();
         as_init();
         page_init();