diff options
| -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 |