1 # SPDX-License-Identifier: GPL-2.0-only
3 # Virtualization support drivers
6 menuconfig VIRT_DRIVERS
7 bool "Virtualization drivers"
9 Say Y here to get to see options for device drivers that support
10 virtualization environments.
12 If you say N, all options in this submenu will be skipped and disabled.
17 tristate "Virtual Machine Generation ID driver"
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.
25 Prefer Y to M so that this protection is activated very early.
28 tristate "Freescale hypervisor management driver"
32 The Freescale hypervisor management driver provides several services
33 to drivers and applications related to the Freescale hypervisor:
35 1) An ioctl interface for querying and managing partitions.
37 2) A file interface to reading incoming doorbells.
39 3) An interrupt handler for shutting down the partition upon
40 receiving the shutdown doorbell from a manager partition.
42 4) A kernel interface for receiving callbacks when a managed
45 source "drivers/virt/vboxguest/Kconfig"
47 source "drivers/virt/nitro_enclaves/Kconfig"
49 source "drivers/virt/acrn/Kconfig"
51 source "drivers/virt/coco/efi_secret/Kconfig"
53 source "drivers/virt/coco/sev-guest/Kconfig"