Linux v4.20-rc4 - drivers/virt/Kconfig
# Virtualization support drivers
bool "Virtualization drivers"
Say Y here to get to see options for device drivers that support
If you say N, all options in this submenu will be skipped and disabled.
tristate "Freescale hypervisor management driver"
depends on FSL_SOC
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.