1 # SPDX-License-Identifier: GPL-2.0
6 source "virt/kvm/Kconfig"
8 menuconfig VIRTUALIZATION
11 Say Y here to get to see options for using your Linux host to run
12 other operating systems inside virtual machines (guests).
13 This option alone does not add any kernel code.
15 If you say N, all options in this submenu will be skipped and
21 bool "Kernel-based Virtual Machine (KVM) support"
24 select PREEMPT_NOTIFIERS
26 select HAVE_KVM_CPU_RELAX_INTERCEPT
27 select HAVE_KVM_ARCH_TLB_FLUSH_ALL
30 select KVM_GENERIC_DIRTYLOG_READ_PROTECT
33 select HAVE_KVM_EVENTFD
35 select KVM_ARM_PMU if HW_PERF_EVENTS
37 select HAVE_KVM_IRQCHIP
38 select HAVE_KVM_IRQ_ROUTING
40 Support hosting virtualized guest machines.
41 We don't support KVM with 16K page tables yet, due to the multiple
42 levels of fake page tables.
49 Provides host support for ARM processors.
54 Adds support for a virtual Performance Monitoring Unit (PMU) in
57 source drivers/vhost/Kconfig
59 endif # VIRTUALIZATION