From d898523197e071c800091d2a40c6101a5482cde1 Mon Sep 17 00:00:00 2001 From: Ben Hutchings Date: Thu, 23 Nov 2017 01:03:25 +0000 Subject: [PATCH] [rt] Clean up configuration using kconfigeditor2 --- debian/config/featureset-rt/config | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/debian/config/featureset-rt/config b/debian/config/featureset-rt/config index a1a828040..fda361817 100644 --- a/debian/config/featureset-rt/config +++ b/debian/config/featureset-rt/config @@ -4,11 +4,6 @@ #. Certificate paths are resolved relative to debian/build/source_rt CONFIG_SYSTEM_TRUSTED_KEYS="../../certs/benh@debian.org.cert.pem" -## -## file: init/Kconfig -## -CONFIG_RCU_EXPERT=y - ## ## file: kernel/Kconfig.preempt ## @@ -17,6 +12,11 @@ CONFIG_RCU_EXPERT=y CONFIG_PREEMPT_RT_FULL=y ## end choice +## +## file: kernel/rcu/Kconfig +## +CONFIG_RCU_EXPERT=y + ## ## file: kernel/trace/Kconfig ##