Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision c88d91e81165d4a91c18e2189d9dee7db48edee5)
+++ kernel/generic/src/console/cmd.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
@@ -71,4 +71,5 @@
 #include <symtab.h>
 #include <errno.h>
+#include <stdlib.h>
 
 #ifdef CONFIG_TEST
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision c88d91e81165d4a91c18e2189d9dee7db48edee5)
+++ kernel/generic/src/console/console.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
@@ -56,5 +56,5 @@
 #include <abi/kio.h>
 #include <mm/frame.h> /* SIZE2FRAMES */
-#include <mm/slab.h>  /* malloc */
+#include <stdlib.h>  /* malloc */
 
 #define KIO_PAGES    8
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision c88d91e81165d4a91c18e2189d9dee7db48edee5)
+++ kernel/generic/src/console/kconsole.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
@@ -58,5 +58,5 @@
 #include <errno.h>
 #include <putchar.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Simple kernel console.