Index: kernel/arch/amd64/src/proc/task.c
===================================================================
--- kernel/arch/amd64/src/proc/task.c	(revision deacd722f7dca626637926215ebe69ffd2fd67f5)
+++ kernel/arch/amd64/src/proc/task.c	(revision 269bc4590881bab4b46e9716c4d88210c42c0b30)
@@ -36,5 +36,5 @@
 #include <stddef.h>
 #include <adt/bitmap.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Perform amd64 specific task initialization.