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/kmsan.yml | |
| 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/kmsan.yml')
| -rw-r--r-- | dashboard/config/linux/bits/kmsan.yml | 2 |
1 files changed, 0 insertions, 2 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] |