diff --git a/target/linux/generic/config-5.10 b/target/linux/generic/config-5.10 index 13226c1bd6a..384cf4fe9fd 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