diff options
| author | Marco Elver <elver@google.com> | 2020-08-05 20:10:51 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-08-05 20:28:18 +0200 |
| commit | e72ba13c6ef13eb07f3eb5d649ade545ee701f8c (patch) | |
| tree | 3afaaec09c4e940f971814655bf4565c599f627f | |
| parent | 9969d2164d26509be8bb7e66a610e3fbc393ca31 (diff) | |
Revert "dashboard/config: disable PARAVIRT_DEBUG with KCSAN"
This reverts commit c9cef45b35aaf2050d438735b2178f86eab35100.
| -rw-r--r-- | dashboard/config/bits-kcsan.config | 3 | ||||
| -rw-r--r-- | dashboard/config/upstream-kcsan.config | 2 |
2 files changed, 1 insertions, 4 deletions
diff --git a/dashboard/config/bits-kcsan.config b/dashboard/config/bits-kcsan.config index 15cd5e6fa..faa6f7ffb 100644 --- a/dashboard/config/bits-kcsan.config +++ b/dashboard/config/bits-kcsan.config @@ -43,6 +43,3 @@ 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 7971b9620..70f880944 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 is not set +CONFIG_PARAVIRT_DEBUG=y CONFIG_PARAVIRT_SPINLOCKS=y CONFIG_X86_HV_CALLBACK_VECTOR=y CONFIG_XEN=y |