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"
23 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
34 select HAVE_KVM_EVENTFD
36 select HAVE_KVM_IRQCHIP
37 select HAVE_KVM_IRQ_ROUTING
39 depends on ARM_VIRT_EXT && ARM_LPAE && ARM_ARCH_TIMER
41 Support hosting virtualized guest machines.
43 This module provides access to the hardware capabilities through
44 a character device node named /dev/kvm.
51 Provides host support for ARM processors.
53 source drivers/vhost/Kconfig
55 endif # VIRTUALIZATION