From 9dc384bab60eb5723165596c239f0f96837c4aed Mon Sep 17 00:00:00 2001 From: Stijn Tintel Date: Mon, 19 Apr 2021 19:34:38 +0300 Subject: [PATCH] kernel/generic: add missing config symbol Signed-off-by: Stijn Tintel Signed-off-by: Tianling Shen --- target/linux/generic/config-5.10 | 1 + 1 file changed, 1 insertion(+) diff --git a/target/linux/generic/config-5.10 b/target/linux/generic/config-5.10 index 403a83e3ca..9683e037fc 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