Index: kernel/arch/amd64/src/kseg.c
===================================================================
--- kernel/arch/amd64/src/kseg.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/amd64/src/kseg.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -37,5 +37,5 @@
 #include <panic.h>
 #include <arch/kseg_struct.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /**
Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/amd64/src/pm.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -40,5 +40,5 @@
 #include <mm/frame.h>
 #include <mem.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /*
Index: kernel/arch/amd64/src/proc/task.c
===================================================================
--- kernel/arch/amd64/src/proc/task.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/amd64/src/proc/task.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -36,5 +36,5 @@
 #include <stddef.h>
 #include <adt/bitmap.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Perform amd64 specific task initialization.
Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -53,4 +53,5 @@
 #include <ddi/ddi.h>
 #include <log.h>
+#include <stdlib.h>
 
 #define SDRAM_SIZE \
Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/ia32/src/pm.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -43,5 +43,5 @@
 #include <mm/km.h>
 #include <mm/frame.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <mem.h>
 #include <arch/boot/boot.h>
Index: kernel/arch/ia32/src/proc/task.c
===================================================================
--- kernel/arch/ia32/src/proc/task.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/ia32/src/proc/task.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -36,5 +36,5 @@
 #include <stddef.h>
 #include <adt/bitmap.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Perform ia32 specific task initialization.
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/ia32/src/smp/smp.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -51,5 +51,5 @@
 #include <mm/frame.h>
 #include <mm/km.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <mm/as.h>
 #include <log.h>
Index: kernel/arch/ia64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia64/src/ddi/ddi.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/ia64/src/ddi/ddi.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -37,5 +37,5 @@
 #include <proc/task.h>
 #include <typedefs.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <errno.h>
 
Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -45,4 +45,5 @@
 #include <str.h>
 #include <arch.h>
+#include <stdlib.h>
 
 enum {
Index: kernel/arch/riscv64/src/drivers/ucb.c
===================================================================
--- kernel/arch/riscv64/src/drivers/ucb.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/riscv64/src/drivers/ucb.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -32,5 +32,5 @@
 #include <console/chardev.h>
 #include <str.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 #define HTIF_DEVICE_CONSOLE  1
Index: kernel/arch/sparc64/src/drivers/niagara.c
===================================================================
--- kernel/arch/sparc64/src/drivers/niagara.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/sparc64/src/drivers/niagara.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -41,5 +41,5 @@
 #include <arch/asm.h>
 #include <arch.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <arch/drivers/niagara_buf.h>
 #include <arch/drivers/kbd.h>
Index: kernel/arch/sparc64/src/drivers/pci.c
===================================================================
--- kernel/arch/sparc64/src/drivers/pci.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/arch/sparc64/src/drivers/pci.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -40,5 +40,5 @@
 #include <arch/trap/interrupt.h>
 #include <mm/km.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <typedefs.h>
 #include <assert.h>
Index: kernel/genarch/src/acpi/madt.c
===================================================================
--- kernel/genarch/src/acpi/madt.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/acpi/madt.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -44,5 +44,5 @@
 #include <config.h>
 #include <log.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <gsort.h>
 
Index: kernel/genarch/src/ddi/ddi-bitmap.c
===================================================================
--- kernel/genarch/src/ddi/ddi-bitmap.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/ddi/ddi-bitmap.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -38,5 +38,5 @@
 #include <typedefs.h>
 #include <adt/bitmap.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <arch/pm.h>
 #include <errno.h>
Index: kernel/genarch/src/drivers/dsrln/dsrlnin.c
===================================================================
--- kernel/genarch/src/drivers/dsrln/dsrlnin.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/drivers/dsrln/dsrlnin.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -38,5 +38,5 @@
 #include <genarch/drivers/dsrln/dsrlnin.h>
 #include <console/chardev.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <arch/asm.h>
 
Index: kernel/genarch/src/drivers/dsrln/dsrlnout.c
===================================================================
--- kernel/genarch/src/drivers/dsrln/dsrlnout.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/drivers/dsrln/dsrlnout.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -38,5 +38,5 @@
 #include <console/chardev.h>
 #include <arch/asm.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <console/console.h>
 #include <sysinfo/sysinfo.h>
Index: kernel/genarch/src/drivers/ega/ega.c
===================================================================
--- kernel/genarch/src/drivers/ega/ega.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/drivers/ega/ega.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -39,5 +39,5 @@
 #include <mm/km.h>
 #include <mm/as.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <typedefs.h>
 #include <arch/asm.h>
Index: kernel/genarch/src/drivers/i8042/i8042.c
===================================================================
--- kernel/genarch/src/drivers/i8042/i8042.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/drivers/i8042/i8042.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -43,5 +43,5 @@
 #include <arch/asm.h>
 #include <console/chardev.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <time/delay.h>
 
Index: kernel/genarch/src/drivers/ns16550/ns16550.c
===================================================================
--- kernel/genarch/src/drivers/ns16550/ns16550.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/drivers/ns16550/ns16550.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -41,5 +41,5 @@
 #include <arch/asm.h>
 #include <console/chardev.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <str.h>
 
Index: kernel/genarch/src/drivers/pl050/pl050.c
===================================================================
--- kernel/genarch/src/drivers/pl050/pl050.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/drivers/pl050/pl050.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -40,5 +40,5 @@
 #include <arch/asm.h>
 #include <console/chardev.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 #define PL050_KEY_RELEASE 0xF0
Index: kernel/genarch/src/drivers/s3c24xx/uart.c
===================================================================
--- kernel/genarch/src/drivers/s3c24xx/uart.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/drivers/s3c24xx/uart.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -43,5 +43,5 @@
 #include <console/console.h>
 #include <arch/asm.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <mm/page.h>
 #include <mm/km.h>
Index: kernel/genarch/src/drivers/via-cuda/cuda.c
===================================================================
--- kernel/genarch/src/drivers/via-cuda/cuda.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/drivers/via-cuda/cuda.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -39,5 +39,5 @@
 #include <ddi/irq.h>
 #include <arch/asm.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <synch/spinlock.h>
 #include <mem.h>
Index: kernel/genarch/src/fb/fb.c
===================================================================
--- kernel/genarch/src/fb/fb.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/fb/fb.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -42,5 +42,5 @@
 #include <sysinfo/sysinfo.h>
 #include <mm/km.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <align.h>
 #include <panic.h>
Index: kernel/genarch/src/kbrd/kbrd.c
===================================================================
--- kernel/genarch/src/kbrd/kbrd.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/kbrd/kbrd.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -58,4 +58,5 @@
 #include <macros.h>
 #include <str.h>
+#include <stdlib.h>
 
 #define IGNORE_CODE  0x7f
Index: kernel/genarch/src/kbrd/kbrd_at.c
===================================================================
--- kernel/genarch/src/kbrd/kbrd_at.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/kbrd/kbrd_at.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -47,4 +47,5 @@
 #include <arch.h>
 #include <macros.h>
+#include <stdlib.h>
 
 #define PRESSED_SHIFT     (1 << 0)
Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -37,5 +37,5 @@
 
 #include <genarch/ofw/ofw_tree.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <sysinfo/sysinfo.h>
 #include <mem.h>
Index: kernel/genarch/src/srln/srln.c
===================================================================
--- kernel/genarch/src/srln/srln.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/genarch/src/srln/srln.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -42,4 +42,5 @@
 #include <arch.h>
 #include <str.h>
+#include <stdlib.h>
 
 static indev_operations_t srln_raw_ops = {
Index: kernel/generic/include/adt/fifo.h
===================================================================
--- kernel/generic/include/adt/fifo.h	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/include/adt/fifo.h	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -46,5 +46,5 @@
 #define KERN_FIFO_H_
 
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Create and initialize static FIFO.
Index: kernel/generic/include/mm/slab.h
===================================================================
--- kernel/generic/include/mm/slab.h	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/include/mm/slab.h	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -139,11 +139,4 @@
 extern void slab_print_list(void);
 
-/* malloc support */
-extern void *malloc(size_t)
-    __attribute__((malloc));
-extern void *realloc(void *, size_t)
-    __attribute__((warn_unused_result));
-extern void free(void *);
-
 #endif
 
Index: kernel/generic/include/stdlib.h
===================================================================
--- kernel/generic/include/stdlib.h	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
+++ kernel/generic/include/stdlib.h	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -0,0 +1,49 @@
+/*
+ * Copyright (c) 2006 Ondrej Palkovsky
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * - Redistributions of source code must retain the above copyright
+ *   notice, this list of conditions and the following disclaimer.
+ * - Redistributions in binary form must reproduce the above copyright
+ *   notice, this list of conditions and the following disclaimer in the
+ *   documentation and/or other materials provided with the distribution.
+ * - The name of the author may not be used to endorse or promote products
+ *   derived from this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
+ * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
+ * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+ * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
+ * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+/** @addtogroup kernel_generic_mm
+ * @{
+ */
+/** @file
+ */
+
+#ifndef KERN_STDLIB_H_
+#define KERN_STDLIB_H_
+
+#include <stddef.h>
+
+extern void *malloc(size_t)
+    __attribute__((malloc));
+extern void *realloc(void *, size_t)
+    __attribute__((warn_unused_result));
+extern void free(void *);
+
+#endif
+
+/** @}
+ */
Index: kernel/generic/src/adt/hash_table.c
===================================================================
--- kernel/generic/src/adt/hash_table.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/adt/hash_table.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -51,5 +51,5 @@
 #include <adt/hash_table.h>
 #include <adt/list.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <assert.h>
 #include <str.h>
Index: kernel/generic/src/cap/cap.c
===================================================================
--- kernel/generic/src/cap/cap.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/cap/cap.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -86,4 +86,5 @@
 #include <limits.h>
 #include <stdint.h>
+#include <stdlib.h>
 
 #define CAPS_START	(CAP_NIL + 1)
Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/console/cmd.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -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 cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/console/console.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -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 cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/console/kconsole.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -58,5 +58,5 @@
 #include <errno.h>
 #include <putchar.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Simple kernel console.
Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/cpu/cpu.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -39,5 +39,5 @@
 #include <arch.h>
 #include <arch/cpu.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <mm/page.h>
 #include <mm/frame.h>
Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/ipc/ipc.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -61,4 +61,5 @@
 #include <ipc/irq.h>
 #include <cap/cap.h>
+#include <stdlib.h>
 
 static void ipc_forget_call(call_t *);
Index: kernel/generic/src/ipc/ipcrsc.c
===================================================================
--- kernel/generic/src/ipc/ipcrsc.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/ipc/ipcrsc.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -42,4 +42,5 @@
 #include <cap/cap.h>
 #include <mm/slab.h>
+#include <stdlib.h>
 
 static void phone_destroy(void *arg)
Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/ipc/irq.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -66,4 +66,5 @@
 #include <macros.h>
 #include <cap/cap.h>
+#include <stdlib.h>
 
 static void ranges_unmap(irq_pio_range_t *ranges, size_t rangecount)
Index: kernel/generic/src/ipc/ops/dataread.c
===================================================================
--- kernel/generic/src/ipc/ops/dataread.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/ipc/ops/dataread.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -36,5 +36,5 @@
 #include <ipc/sysipc_ops.h>
 #include <ipc/ipc.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <abi/errno.h>
 #include <syscall/copy.h>
Index: kernel/generic/src/ipc/ops/datawrite.c
===================================================================
--- kernel/generic/src/ipc/ops/datawrite.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/ipc/ops/datawrite.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -36,5 +36,5 @@
 #include <ipc/sysipc_ops.h>
 #include <ipc/ipc.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <abi/errno.h>
 #include <syscall/copy.h>
Index: kernel/generic/src/lib/gsort.c
===================================================================
--- kernel/generic/src/lib/gsort.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/lib/gsort.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -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 cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/lib/ra.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -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 cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/lib/str.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -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 */
Index: kernel/generic/src/log/log.c
===================================================================
--- kernel/generic/src/log/log.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/log/log.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -53,5 +53,5 @@
 #include <console/console.h>
 #include <abi/log.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 #define LOG_PAGES    8
Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/main/kinit.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -72,4 +72,5 @@
 #include <sysinfo/sysinfo.h>
 #include <align.h>
+#include <stdlib.h>
 
 #ifdef CONFIG_SMP
Index: kernel/generic/src/main/uinit.c
===================================================================
--- kernel/generic/src/main/uinit.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/main/uinit.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -45,5 +45,5 @@
 #include <proc/thread.h>
 #include <userspace.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <arch.h>
 #include <udebug/udebug.h>
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/mm/as.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -81,4 +81,5 @@
 #include <arch/interrupt.h>
 #include <interrupt.h>
+#include <stdlib.h>
 
 /**
Index: kernel/generic/src/mm/backend_phys.c
===================================================================
--- kernel/generic/src/mm/backend_phys.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/mm/backend_phys.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -42,5 +42,5 @@
 #include <mm/page.h>
 #include <mm/frame.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <macros.h>
 #include <arch.h>
Index: kernel/generic/src/mm/slab.c
===================================================================
--- kernel/generic/src/mm/slab.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/mm/slab.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -116,4 +116,5 @@
 #include <macros.h>
 #include <cpu.h>
+#include <stdlib.h>
 
 IRQ_SPINLOCK_STATIC_INITIALIZE(slab_cache_lock);
Index: kernel/generic/src/proc/program.c
===================================================================
--- kernel/generic/src/proc/program.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/proc/program.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -41,5 +41,5 @@
 #include <proc/task.h>
 #include <mm/as.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <arch.h>
 #include <adt/list.h>
Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/proc/thread.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -63,5 +63,5 @@
 #include <mem.h>
 #include <stdio.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <main/uinit.h>
 #include <syscall/copy.h>
Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/synch/futex.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -59,5 +59,5 @@
 #include <mm/frame.h>
 #include <mm/page.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <proc/thread.h>
 #include <proc/task.h>
Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/sysinfo/stats.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -52,4 +52,5 @@
 #include <cpu.h>
 #include <arch.h>
+#include <stdlib.h>
 
 /** Bits of fixed-point precision for load */
Index: kernel/generic/src/sysinfo/sysinfo.c
===================================================================
--- kernel/generic/src/sysinfo/sysinfo.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/sysinfo/sysinfo.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -43,4 +43,5 @@
 #include <errno.h>
 #include <macros.h>
+#include <stdlib.h>
 
 /** Maximal sysinfo path length */
Index: kernel/generic/src/udebug/udebug_ops.c
===================================================================
--- kernel/generic/src/udebug/udebug_ops.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/generic/src/udebug/udebug_ops.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -52,4 +52,5 @@
 #include <udebug/udebug_ops.h>
 #include <mem.h>
+#include <stdlib.h>
 
 /** Prepare a thread for a debugging operation.
Index: kernel/test/mm/falloc1.c
===================================================================
--- kernel/test/mm/falloc1.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/test/mm/falloc1.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -30,8 +30,8 @@
 #include <mm/page.h>
 #include <mm/frame.h>
-#include <mm/slab.h>
 #include <arch/mm/page.h>
 #include <typedefs.h>
 #include <align.h>
+#include <stdlib.h>
 
 #define MAX_FRAMES  1024
Index: kernel/test/mm/falloc2.c
===================================================================
--- kernel/test/mm/falloc2.c	(revision cc0121401fb2406d51e053431640b6b174f56568)
+++ kernel/test/mm/falloc2.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -30,5 +30,5 @@
 #include <mm/page.h>
 #include <mm/frame.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <arch/mm/page.h>
 #include <typedefs.h>