Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 33c29521d96b892e096419a2fd8beb867e2596f6)
+++ kernel/Makefile	(revision 94b39ba96094d8160161c301f2557c723ebcaf5c)
@@ -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 \