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