Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 059a8e4b4f97d287fdb888636dac0f59bfafa019)
+++ kernel/generic/src/console/kconsole.c	(revision d99fac96cbfec51361fae6794a980aa1ef9bc770)
@@ -59,4 +59,5 @@
 #include <putchar.h>
 #include <str.h>
+#include <mm/slab.h>
 
 /** Simple kernel console.