Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision d3145715f4928ba664dc22786d6e0add62328cb0)
+++ kernel/Makefile	(revision cbf528f4d2569367997fa6fe4d7410c3f4f94699)
@@ -227,5 +227,4 @@
 	generic/src/synch/smc.c \
 	generic/src/synch/waitq.c \
-	generic/src/synch/futex.c \
 	generic/src/synch/syswaitq.c \
 	generic/src/smp/ipi.c \