Index: kernel/arch/amd64/src/kseg.c
===================================================================
--- kernel/arch/amd64/src/kseg.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/amd64/src/kseg.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/amd64/src/pm.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/amd64/src/proc/task.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/ia32/src/pm.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/ia32/src/proc/task.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/ia64/src/ddi/ddi.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/riscv64/src/drivers/ucb.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/sparc64/src/drivers/niagara.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/sparc64/src/drivers/pci.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -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>