Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 8a64e81e7083acc3dc69cd56c21cca72dd37ca13)
+++ kernel/generic/src/main/kinit.c	(revision 9f8745c5331a919e144b6084cb90d7f5b2eaccba)
@@ -78,4 +78,5 @@
 #include <synch/spinlock.h>
 #include <synch/workqueue.h>
+#include <synch/rcu.h>
 
 #define ALIVE_CHARS  4
@@ -106,4 +107,7 @@
 
 	interrupts_disable();
+	
+	/* Start processing RCU callbacks. RCU is fully functional afterwards. */
+	rcu_kinit_init();
 	
 	/*