Commit 0aaa8977acbf ("configs: introduce debug.config for CI-like setup")
added CONFIG_PROVE_RCU_LIST=y to the common CI config,
but RCU_EXPERT is not set, and it's a dependency for
CONFIG_PROVE_RCU_LIST=y. Make sure CIs take advantage
of CONFIG_PROVE_RCU_LIST=y, recent fixes in networking
indicate that it does catch bugs.
Signed-off-by: Jakub Kicinski <kuba@xxxxxxxxxx>
---
I'd be slightly tempted to still send it to Linux for v6.12.
CC: paulmck@xxxxxxxxxx
CC: frederic@xxxxxxxxxx
CC: neeraj.upadhyay@xxxxxxxxxx
CC: joel@xxxxxxxxxxxxxxxxx
CC: rcu@xxxxxxxxxxxxxxx
CC: linux-kernel@xxxxxxxxxxxxxxx
CC: kees@xxxxxxxxxx
CC: matttbe@xxxxxxxxxx
---
kernel/configs/debug.config | 1 +
1 file changed, 1 insertion(+)
diff --git a/kernel/configs/debug.config b/kernel/configs/debug.config
index 509ee703de15..20552f163930 100644
--- a/kernel/configs/debug.config
+++ b/kernel/configs/debug.config
@@ -103,6 +103,7 @@ CONFIG_BUG_ON_DATA_CORRUPTION=y
#
# RCU Debugging
#
+CONFIG_RCU_EXPERT=y
CONFIG_PROVE_RCU=y
CONFIG_PROVE_RCU_LIST=y
#
--
2.46.2
