1# SPDX-License-Identifier: GPL-2.0-only
2#
3# Virtualization support drivers
4#
5
6menuconfig VIRT_DRIVERS
7	bool "Virtualization drivers"
8	help
9	  Say Y here to get to see options for device drivers that support
10	  virtualization environments.
11
12	  If you say N, all options in this submenu will be skipped and disabled.
13
14if VIRT_DRIVERS
15
16config VMGENID
17	tristate "Virtual Machine Generation ID driver"
18	default y
19	depends on ACPI
20	help
21	  Say Y here to use the hypervisor-provided Virtual Machine Generation ID
22	  to reseed the RNG when the VM is cloned. This is highly recommended if
23	  you intend to do any rollback / cloning / snapshotting of VMs.
24
25	  Prefer Y to M so that this protection is activated very early.
26
27config FSL_HV_MANAGER
28	tristate "Freescale hypervisor management driver"
29	depends on FSL_SOC
30	select EPAPR_PARAVIRT
31	help
32          The Freescale hypervisor management driver provides several services
33	  to drivers and applications related to the Freescale hypervisor:
34
35          1) An ioctl interface for querying and managing partitions.
36
37          2) A file interface to reading incoming doorbells.
38
39          3) An interrupt handler for shutting down the partition upon
40	     receiving the shutdown doorbell from a manager partition.
41
42          4) A kernel interface for receiving callbacks when a managed
43	     partition shuts down.
44
45source "drivers/virt/vboxguest/Kconfig"
46
47source "drivers/virt/nitro_enclaves/Kconfig"
48
49source "drivers/virt/acrn/Kconfig"
50
51source "drivers/virt/coco/Kconfig"
52
53endif
54