Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 933cadfdb63d0a16870db764880b5c144894e112)
+++ kernel/generic/src/main/main.c	(revision 0d8a304c1941d4b637abf937d8947384c88d0e1c)
@@ -71,4 +71,5 @@
 #include <mm/as.h>
 #include <mm/slab.h>
+#include <mm/reserve.h>
 #include <synch/waitq.h>
 #include <synch/futex.h>
@@ -217,4 +218,5 @@
 	ddi_init();
 	arch_post_mm_init();
+	reserve_init();
 	arch_pre_smp_init();
 	smp_init();