Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision d3145715f4928ba664dc22786d6e0add62328cb0)
+++ kernel/generic/src/proc/task.c	(revision f53ee7477c9b7ecdc346b45bf86a9ac84218b0dd)
@@ -43,5 +43,4 @@
 #include <mm/slab.h>
 #include <atomic.h>
-#include <synch/futex.h>
 #include <synch/spinlock.h>
 #include <synch/waitq.h>
@@ -251,6 +250,4 @@
 	}
 
-	futex_task_init(task);
-
 	irq_spinlock_lock(&tasks_lock, true);
 
Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision d3145715f4928ba664dc22786d6e0add62328cb0)
+++ kernel/generic/src/proc/thread.c	(revision f53ee7477c9b7ecdc346b45bf86a9ac84218b0dd)
@@ -520,5 +520,4 @@
 			 */
 			ipc_cleanup();
-			futex_task_cleanup();
 			sys_waitq_task_cleanup();
 			LOG("Cleanup of task %" PRIu64 " completed.", TASK->taskid);