From 4dcdc8249c04da01adfc57e5698ccb41dbe3b0fa 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 --- 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 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 -- 2.30.2