Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 33c29521d96b892e096419a2fd8beb867e2596f6)
+++ kernel/Makefile	(revision a1ef4c0316a72aaa438b90b4579cc5df65982f2b)
@@ -253,4 +253,5 @@
 	generic/src/synch/semaphore.c \
 	generic/src/synch/smc.c \
+	generic/src/synch/smp_memory_barrier.c \
 	generic/src/synch/waitq.c \
 	generic/src/synch/futex.c \