0001 # SPDX-License-Identifier: GPL-2.0-only
0002 #
0003 # Virtualization support drivers
0004 #
0005
0006 menuconfig VIRT_DRIVERS
0007 bool "Virtualization drivers"
0008 help
0009 Say Y here to get to see options for device drivers that support
0010 virtualization environments.
0011
0012 If you say N, all options in this submenu will be skipped and disabled.
0013
0014 if VIRT_DRIVERS
0015
0016 config VMGENID
0017 tristate "Virtual Machine Generation ID driver"
0018 default y
0019 depends on ACPI
0020 help
0021 Say Y here to use the hypervisor-provided Virtual Machine Generation ID
0022 to reseed the RNG when the VM is cloned. This is highly recommended if
0023 you intend to do any rollback / cloning / snapshotting of VMs.
0024
0025 Prefer Y to M so that this protection is activated very early.
0026
0027 config FSL_HV_MANAGER
0028 tristate "Freescale hypervisor management driver"
0029 depends on FSL_SOC
0030 select EPAPR_PARAVIRT
0031 help
0032 The Freescale hypervisor management driver provides several services
0033 to drivers and applications related to the Freescale hypervisor:
0034
0035 1) An ioctl interface for querying and managing partitions.
0036
0037 2) A file interface to reading incoming doorbells.
0038
0039 3) An interrupt handler for shutting down the partition upon
0040 receiving the shutdown doorbell from a manager partition.
0041
0042 4) A kernel interface for receiving callbacks when a managed
0043 partition shuts down.
0044
0045 source "drivers/virt/vboxguest/Kconfig"
0046
0047 source "drivers/virt/nitro_enclaves/Kconfig"
0048
0049 source "drivers/virt/acrn/Kconfig"
0050
0051 source "drivers/virt/coco/efi_secret/Kconfig"
0052
0053 source "drivers/virt/coco/sev-guest/Kconfig"
0054
0055 endif
