Update riscv64 configs

Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>
This commit is contained in:
David Abdurachmanov 2022-06-15 23:08:08 +03:00
parent ffdcecb70f
commit 21bf92cf5c
Signed by: davidlt
GPG Key ID: 8B7F1DA0E2C9FDBB
2 changed files with 2 additions and 2 deletions

View File

@ -4562,7 +4562,7 @@ CONFIG_PROC_VMCORE=y
# CONFIG_PROFILE_ALL_BRANCHES is not set
# CONFIG_PROFILE_ANNOTATED_BRANCHES is not set
CONFIG_PROFILING=y
# CONFIG_PROVE_CXL_LOCKING is not set
CONFIG_PROVE_CXL_LOCKING=y
CONFIG_PROVE_LOCKING=y
CONFIG_PROVE_NVDIMM_LOCKING=y
# CONFIG_PROVE_RAW_LOCK_NESTING is not set

View File

@ -4541,7 +4541,7 @@ CONFIG_PROC_VMCORE=y
# CONFIG_PROFILE_ALL_BRANCHES is not set
# CONFIG_PROFILE_ANNOTATED_BRANCHES is not set
CONFIG_PROFILING=y
# CONFIG_PROVE_CXL_LOCKING is not set
CONFIG_PROVE_CXL_LOCKING=y
# CONFIG_PROVE_LOCKING is not set
CONFIG_PROVE_NVDIMM_LOCKING=y
# CONFIG_PROVE_RAW_LOCK_NESTING is not set