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