diff options
Diffstat (limited to 'dashboard/config/linux/bits')
| -rw-r--r-- | dashboard/config/linux/bits/kmsan.yml | 2 | ||||
| -rw-r--r-- | dashboard/config/linux/bits/x86_64.yml | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/dashboard/config/linux/bits/kmsan.yml b/dashboard/config/linux/bits/kmsan.yml index 96822f002..e3bbfdbb9 100644 --- a/dashboard/config/linux/bits/kmsan.yml +++ b/dashboard/config/linux/bits/kmsan.yml @@ -33,8 +33,6 @@ config: # KMSAN doesn't support ORC unwinder (https://github.com/google/kmsan/issues/48). - UNWINDER_FRAME_POINTER - - HYPERVISOR_GUEST: n - - PARAVIRT: n - PARAVIRT_SPINLOCKS: [n, weak] - PARAVIRT_DEBUG: [n, weak] - CPU_IDLE_GOV_HALTPOLL: [n, weak] diff --git a/dashboard/config/linux/bits/x86_64.yml b/dashboard/config/linux/bits/x86_64.yml index 2edcaed4b..52b186791 100644 --- a/dashboard/config/linux/bits/x86_64.yml +++ b/dashboard/config/linux/bits/x86_64.yml @@ -58,4 +58,4 @@ config: - PM_TRACE_RTC: [optional] # Allows to boot kernel via qemu directly from a vmlinux file. - - PVH: [-kmsan] + - PVH |