Index: Makefile
===================================================================
--- Makefile	(revision 018d957e20e03bd2a5c78e93cd9916eb0d1d222b)
+++ Makefile	(revision 9aa72b42058acb9ec55cd96d960e524465201dc6)
@@ -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 \