Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 2689a0ba890434ede8f74c746b6f5d89947db465)
+++ HelenOS.config	(revision 0b7bcb8f7fd2c6a7595e9ab91e34305be0df1d6f)
@@ -385,4 +385,9 @@
 ! [COMPILER=gcc_cross|COMPILER=gcc_native] CONFIG_LTO (n/y)
 
+% Kernel RCU algorithm
+@ "PREEMPT_PODZIMEK" Preemptible Podzimek-RCU
+@ "PREEMPT_A" Preemptible A-RCU
+! RCU (choice)
+
 
 ## Hardware support