# SPDX-License-Identifier: GPL-2.0-only
|
#
|
# Virtualization support drivers
|
#
|
|
menuconfig VIRT_DRIVERS
|
bool "Virtualization drivers"
|
help
|
Say Y here to get to see options for device drivers that support
|
virtualization environments.
|
|
If you say N, all options in this submenu will be skipped and disabled.
|
|
if VIRT_DRIVERS
|
|
config FSL_HV_MANAGER
|
tristate "Freescale hypervisor management driver"
|
depends on FSL_SOC
|
select EPAPR_PARAVIRT
|
help
|
The Freescale hypervisor management driver provides several services
|
to drivers and applications related to the Freescale hypervisor:
|
|
1) An ioctl interface for querying and managing partitions.
|
|
2) A file interface to reading incoming doorbells.
|
|
3) An interrupt handler for shutting down the partition upon
|
receiving the shutdown doorbell from a manager partition.
|
|
4) A kernel interface for receiving callbacks when a managed
|
partition shuts down.
|
|
source "drivers/virt/vboxguest/Kconfig"
|
|
source "drivers/virt/nitro_enclaves/Kconfig"
|
endif
|
