Changes in kernel/generic/src/main/main.c [8d308b9:933cadf] in mainline

File:

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

kernel/generic/src/main/main.c

@@ -71 +71 @@
 #include <mm/as.h>
 #include <mm/slab.h>
-#include <mm/reserve.h>
 #include <synch/waitq.h>
 #include <synch/futex.h>
@@ -218 +217 @@
         ddi_init();
         arch_post_mm_init();
-        reserve_init();
         arch_pre_smp_init();
         smp_init();