1# SPDX-License-Identifier: GPL-2.0
2#
3# KVM configuration
4#
5
6source "virt/kvm/Kconfig"
7
8menuconfig VIRTUALIZATION
9	bool "Virtualization"
10	help
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.
14
15	  If you say N, all options in this submenu will be skipped and
16	  disabled.
17
18if VIRTUALIZATION
19
20config KVM
21	tristate "Kernel-based Virtual Machine (KVM) support (EXPERIMENTAL)"
22	depends on RISCV_SBI && MMU
23	select MMU_NOTIFIER
24	select PREEMPT_NOTIFIERS
25	select KVM_MMIO
26	select KVM_GENERIC_DIRTYLOG_READ_PROTECT
27	select KVM_XFER_TO_GUEST_WORK
28	select HAVE_KVM_VCPU_ASYNC_IOCTL
29	select HAVE_KVM_EVENTFD
30	select SRCU
31	help
32	  Support hosting virtualized guest machines.
33
34	  If unsure, say N.
35
36endif # VIRTUALIZATION
37