diff options
| author | Jakub Kicinski <kuba@kernel.org> | 2024-10-15 18:11:44 -0700 |
|---|---|---|
| committer | Jakub Kicinski <kuba@kernel.org> | 2024-10-28 10:21:09 -0700 |
| commit | a3e4bf7f9675b11d970bdbc9ccb24434d448b2c2 (patch) | |
| tree | ee6a1fb39dd5d9b3493d6af25c3cdafdfec02406 /kernel/configs | |
| parent | b8ee7a11c75436b85fa1641aa5f970de0f8a575c (diff) | |
configs/debug: make sure PROVE_RCU_LIST=y takes effect
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.
Reviewed-by: Joel Fernandes (Google) <joel@joelfernandes.org>
Acked-by: Matthieu Baerts (NGI0) <matttbe@kernel.org>
Acked-by: Paul E. McKenney <paulmck@kernel.org>
Reviewed-by: Simon Horman <horms@kernel.org>
Link: https://patch.msgid.link/20241016011144.3058445-1-kuba@kernel.org
Signed-off-by: Jakub Kicinski <kuba@kernel.org>
Diffstat (limited to 'kernel/configs')
| -rw-r--r-- | kernel/configs/debug.config | 1 |
1 files changed, 1 insertions, 0 deletions
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 # |