diff options
| -rw-r--r-- | target/linux/generic/config-5.10 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/target/linux/generic/config-5.10 b/target/linux/generic/config-5.10 index 13226c1bd6..384cf4fe9f 100644 --- a/target/linux/generic/config-5.10 +++ b/target/linux/generic/config-5.10 @@ -4513,6 +4513,7 @@ CONFIG_PROC_SYSCTL=y # CONFIG_PROFILE_ANNOTATED_BRANCHES is not set # CONFIG_PROFILING is not set # CONFIG_PROVE_LOCKING is not set +# CONFIG_PROVE_RAW_LOCK_NESTING is not set # CONFIG_PROVE_RCU is not set # CONFIG_PROVE_RCU_LIST is not set # CONFIG_PROVE_RCU_REPEATEDLY is not set |