Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 071a8ae65d845056114dc46ddf5f627eb2d83640)
+++ generic/src/main/main.c	(revision 9ea8a7ca32a0148a8f388e6313b10d79946deda1)
@@ -50,4 +50,5 @@
 #include <mm/tlb.h>
 #include <mm/as.h>
+#include <mm/slab.h>
 #include <synch/waitq.h>
 #include <arch/arch.h>
@@ -163,4 +164,5 @@
 	page_init();
 	tlb_init();
+	slab_cache_init();
 	arch_post_mm_init();