diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-07-05 14:58:02 +0200 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2023-07-05 13:19:10 +0000 |
| commit | ba5dba36bfc0d6fa9f71d517be562677c8fbb7d3 (patch) | |
| tree | 729cd389ab85a6f6039bb9d4d9b23c1c47aee592 /dashboard/config/linux/bits | |
| parent | b2afc3815fa3699934c156e56fb18acdb5496062 (diff) | |
dashboard/config: enable virtualization configs for KMSAN
This also lets us enable CONFIG_PVH for it.
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 |