Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision d3145715f4928ba664dc22786d6e0add62328cb0)
+++ kernel/Makefile	(revision e394c1962a6fec2218e561da2994f4070e2be503)
@@ -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 \