diff options
| author | Marco Elver <elver@google.com> | 2020-08-05 16:54:52 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-08-05 18:33:41 +0200 |
| commit | c9cef45b35aaf2050d438735b2178f86eab35100 (patch) | |
| tree | 9e6a1acf4e63be08e045d7e015f9679be23e2dbb | |
| parent | 2cea8f1f899dbf123a523dd273b842df430d4893 (diff) | |
dashboard/config: disable PARAVIRT_DEBUG with KCSAN
Disable CONFIG_PARAVIRT_DEBUG, as it breaks lockdep+KCSAN right now.
| -rw-r--r-- | dashboard/config/bits-kcsan.config | 3 | ||||
| -rw-r--r-- | dashboard/config/upstream-kcsan.config | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/dashboard/config/bits-kcsan.config b/dashboard/config/bits-kcsan.config index faa6f7ffb..15cd5e6fa 100644 --- a/dashboard/config/bits-kcsan.config +++ b/dashboard/config/bits-kcsan.config @@ -43,3 +43,6 @@ CONFIG_KCSAN_IGNORE_ATOMICS=y # CONFIG_DEBUG_SG is not set # CONFIG_DEBUG_NOTIFIERS is not set # CONFIG_DEBUG_CREDENTIALS is not set + +# Disable PARAVIRT_DEBUG until this is fixed: https://groups.google.com/forum/#!topic/syzkaller-bugs/V7vcZiI73bw +# CONFIG_PARAVIRT_DEBUG is not set diff --git a/dashboard/config/upstream-kcsan.config b/dashboard/config/upstream-kcsan.config index 70f880944..7971b9620 100644 --- a/dashboard/config/upstream-kcsan.config +++ b/dashboard/config/upstream-kcsan.config @@ -340,7 +340,7 @@ CONFIG_SCHED_OMIT_FRAME_POINTER=y CONFIG_HYPERVISOR_GUEST=y CONFIG_PARAVIRT=y CONFIG_PARAVIRT_XXL=y -CONFIG_PARAVIRT_DEBUG=y +# CONFIG_PARAVIRT_DEBUG is not set CONFIG_PARAVIRT_SPINLOCKS=y CONFIG_X86_HV_CALLBACK_VECTOR=y CONFIG_XEN=y |