diff --git a/debian/config/config b/debian/config/config index d8f9ad845..a79e52711 100644 --- a/debian/config/config +++ b/debian/config/config @@ -2622,6 +2622,11 @@ CONFIG_TASK_XACCT=y CONFIG_TASK_IO_ACCOUNTING=y CONFIG_AUDIT=y CONFIG_AUDITSYSCALL=y +## choice: RCU Implementation +CONFIG_CLASSIC_RCU=m +# CONFIG_TREE_RCU is not set +# CONFIG_PREEMPT_RCU is not set +## end choice # CONFIG_RCU_TRACE is not set # CONFIG_IKCONFIG is not set CONFIG_LOG_BUF_SHIFT=17