Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 2689a0ba890434ede8f74c746b6f5d89947db465)
+++ kernel/Makefile	(revision 1f092d9ee54c991d7f2820ce325e6374d85b3a26)
@@ -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 \