diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-07-05 14:01:41 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2023-07-05 12:15:06 +0000 |
| commit | b2afc3815fa3699934c156e56fb18acdb5496062 (patch) | |
| tree | 7c2eed9dcc8d9441c0464df79be27523a01e8d0a /dashboard/config/linux/chromeos-6.1-base.config | |
| parent | e8b147c6e77e4568d3e7df74121a28e95ee8440a (diff) | |
dashboard/config: enable CONFIG_PVH for Linux/x86_64
This will let users boot directly from the vmlinux file.
Diffstat (limited to 'dashboard/config/linux/chromeos-6.1-base.config')
| -rw-r--r-- | dashboard/config/linux/chromeos-6.1-base.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dashboard/config/linux/chromeos-6.1-base.config b/dashboard/config/linux/chromeos-6.1-base.config index 67be99f2d..2b90fa6b9 100644 --- a/dashboard/config/linux/chromeos-6.1-base.config +++ b/dashboard/config/linux/chromeos-6.1-base.config @@ -354,7 +354,7 @@ CONFIG_X86_HV_CALLBACK_VECTOR=y # CONFIG_XEN is not set CONFIG_KVM_GUEST=y CONFIG_ARCH_CPUIDLE_HALTPOLL=y -# CONFIG_PVH is not set +CONFIG_PVH=y # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set CONFIG_PARAVIRT_CLOCK=y # CONFIG_JAILHOUSE_GUEST is not set |