diff options
| -rw-r--r-- | target/linux/generic/config-5.4 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/target/linux/generic/config-5.4 b/target/linux/generic/config-5.4 index a4ff887aa1..fc9b9664da 100644 --- a/target/linux/generic/config-5.4 +++ b/target/linux/generic/config-5.4 @@ -4104,6 +4104,7 @@ CONFIG_PROC_SYSCTL=y # CONFIG_PROFILING is not set # CONFIG_PROVE_LOCKING is not set # CONFIG_PROVE_RCU is not set +# CONFIG_PROVE_RCU_LIST is not set # CONFIG_PROVE_RCU_REPEATEDLY is not set # CONFIG_PSAMPLE is not set # CONFIG_PSB6970_PHY is not set |