Index: Makefile
===================================================================
--- Makefile	(revision 018d957e20e03bd2a5c78e93cd9916eb0d1d222b)
+++ Makefile	(revision 303c94cdd8202c405e0544a6b985691b33904b12)
@@ -141,4 +141,5 @@
 	generic/src/synch/semaphore.c \
 	generic/src/synch/waitq.c \
+	generic/src/synch/futex.c \
 	generic/src/smp/ipi.c \
 	generic/src/ipc/ipc.c \