diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2023-07-10 11:45:34 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-07-14 15:10:57 -0700 |
| commit | adec488031f60476fc2e2aa95ab569f6f0b07c72 (patch) | |
| tree | 1c357685ef0c69f5e830bda73b5f3a6146be1c99 /scripts/gdb/linux/modules.py | |
| parent | eb3156f78b490f7d9482c9f44004d8e7638e3e64 (diff) | |
torture: Loosen .config checks for KCSAN kernels
KCSAN enables some Kconfig options unilaterally and unconditionally,
including CONFIG_PROVE_LOCKING. This in turn enables CONFIG_PROVE_RCU
and CONFIG_PREEMPT_COUNT, which conflicts with constraints in SRCU-T,
TRACE01, and TREE10, which in turn causes rcutorture to emit spurious
configuration complaints. This commit therefore forgives configuration
complaints involving CONFIG_PROVE_RCU and CONFIG_PREEMPT_COUNT.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'scripts/gdb/linux/modules.py')
0 files changed, 0 insertions, 0 deletions