From c9cef45b35aaf2050d438735b2178f86eab35100 Mon Sep 17 00:00:00 2001 From: Marco Elver Date: Wed, 5 Aug 2020 16:54:52 +0200 Subject: dashboard/config: disable PARAVIRT_DEBUG with KCSAN Disable CONFIG_PARAVIRT_DEBUG, as it breaks lockdep+KCSAN right now. --- dashboard/config/bits-kcsan.config | 3 +++ dashboard/config/upstream-kcsan.config | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) 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 -- cgit mrf-deployment