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