Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 071a8ae65d845056114dc46ddf5f627eb2d83640)
+++ generic/src/main/main.c	(revision bc504ef2f35f18a589fe5c41042fd4a533bfe7cb)
@@ -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();