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/efi_secret/Kconfig" 52 53source "drivers/virt/coco/sev-guest/Kconfig" 54 55source "drivers/virt/coco/tdx-guest/Kconfig" 56 57endif 58