Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 8a64e81e7083acc3dc69cd56c21cca72dd37ca13)
+++ kernel/generic/src/console/cmd.c	(revision b68ae24ef2a8e80ee94b455682978bfbac6bedbc)
@@ -69,4 +69,5 @@
 #include <symtab.h>
 #include <synch/workqueue.h>
+#include <synch/rcu.h>
 #include <errno.h>
 
@@ -459,4 +460,13 @@
 };
 
+/* Data and methods for the 'workq' command */
+static int cmd_rcu(cmd_arg_t *argv);
+static cmd_info_t rcu_info = {
+	.name = "rcu",
+	.description = "Show RCU run-time statistics.",
+	.func = cmd_rcu,
+	.argc = 0
+};
+
 /* Data and methods for 'ipc' command */
 static int cmd_ipc(cmd_arg_t *argv);
@@ -522,4 +532,5 @@
 	&physmem_info,
 	&reboot_info,
+	&rcu_info,
 	&sched_info,
 	&set4_info,
@@ -1038,4 +1049,15 @@
 }
 
+/** Prints RCU statistics.
+ *
+ * @param argv Ignores
+ *
+ * @return Always 1
+ */
+int cmd_rcu(cmd_arg_t *argv)
+{
+	rcu_print_stat();
+	return 1;
+}
 
 /** Command for listing memory zones