Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision d3145715f4928ba664dc22786d6e0add62328cb0)
+++ kernel/generic/src/main/main.c	(revision dd884cb4f1ed5c80d68f90b870325b3d7e0741ce)
@@ -77,5 +77,4 @@
 #include <mm/reserve.h>
 #include <synch/waitq.h>
-#include <synch/futex.h>
 #include <synch/syswaitq.h>
 #include <arch/arch.h>
@@ -279,5 +278,4 @@
 	task_init();
 	thread_init();
-	futex_init();
 	sys_waitq_init();