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