53 lines · plain
1# SPDX-License-Identifier: GPL-2.0-only2#3# Virtualization support drivers4#5 6menuconfig VIRT_DRIVERS7 bool "Virtualization drivers"8 help9 Say Y here to get to see options for device drivers that support10 virtualization environments.11 12 If you say N, all options in this submenu will be skipped and disabled.13 14if VIRT_DRIVERS15 16config VMGENID17 tristate "Virtual Machine Generation ID driver"18 default y19 help20 Say Y here to use the hypervisor-provided Virtual Machine Generation ID21 to reseed the RNG when the VM is cloned. This is highly recommended if22 you intend to do any rollback / cloning / snapshotting of VMs.23 24 Prefer Y to M so that this protection is activated very early.25 26config FSL_HV_MANAGER27 tristate "Freescale hypervisor management driver"28 depends on FSL_SOC29 select EPAPR_PARAVIRT30 help31 The Freescale hypervisor management driver provides several services32 to drivers and applications related to the Freescale hypervisor:33 34 1) An ioctl interface for querying and managing partitions.35 36 2) A file interface to reading incoming doorbells.37 38 3) An interrupt handler for shutting down the partition upon39 receiving the shutdown doorbell from a manager partition.40 41 4) A kernel interface for receiving callbacks when a managed42 partition shuts down.43 44source "drivers/virt/vboxguest/Kconfig"45 46source "drivers/virt/nitro_enclaves/Kconfig"47 48source "drivers/virt/acrn/Kconfig"49 50source "drivers/virt/coco/Kconfig"51 52endif53