Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 2689a0ba890434ede8f74c746b6f5d89947db465)
+++ kernel/Makefile	(revision 49e6c6b48a1667db53d7a8cfba97659b95c83ea8)
@@ -252,4 +252,5 @@
 	generic/src/synch/waitq.c \
 	generic/src/synch/futex.c \
+	generic/src/synch/rcu.c \
 	generic/src/smp/ipi.c \
 	generic/src/smp/smp.c \