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