Index: kernel/generic/src/lib/gsort.c
===================================================================
--- kernel/generic/src/lib/gsort.c	(revision be6e37a1450dc9ae009c1198f1541fa2c80b2a0c)
+++ kernel/generic/src/lib/gsort.c	(revision 0b5203bfbdafa8ef8abc2bd7521c6fd282f677e9)
@@ -42,5 +42,5 @@
 #include <gsort.h>
 #include <mem.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Immediate buffer size.
Index: kernel/generic/src/lib/ra.c
===================================================================
--- kernel/generic/src/lib/ra.c	(revision be6e37a1450dc9ae009c1198f1541fa2c80b2a0c)
+++ kernel/generic/src/lib/ra.c	(revision 0b5203bfbdafa8ef8abc2bd7521c6fd282f677e9)
@@ -55,4 +55,5 @@
 #include <macros.h>
 #include <synch/spinlock.h>
+#include <stdlib.h>
 
 static slab_cache_t *ra_segment_cache;
Index: kernel/generic/src/lib/str.c
===================================================================
--- kernel/generic/src/lib/str.c	(revision be6e37a1450dc9ae009c1198f1541fa2c80b2a0c)
+++ kernel/generic/src/lib/str.c	(revision 0b5203bfbdafa8ef8abc2bd7521c6fd282f677e9)
@@ -110,5 +110,5 @@
 #include <assert.h>
 #include <macros.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Check the condition if wchar_t is signed */