This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / drivers / virt / Kconfig
blob2dcdbc9364d8802ed26154f18097a8995b5c5271
2 # Virtualization support drivers
5 menuconfig VIRT_DRIVERS
6         bool "Virtualization drivers"
7         ---help---
8           Say Y here to get to see options for device drivers that support
9           virtualization environments.
11           If you say N, all options in this submenu will be skipped and disabled.
13 if VIRT_DRIVERS
15 config FSL_HV_MANAGER
16         tristate "Freescale hypervisor management driver"
17         depends on FSL_SOC
18         help
19           The Freescale hypervisor management driver provides several services
20           to drivers and applications related to the Freescale hypervisor:
22           1) An ioctl interface for querying and managing partitions.
24           2) A file interface to reading incoming doorbells.
26           3) An interrupt handler for shutting down the partition upon
27              receiving the shutdown doorbell from a manager partition.
29           4) A kernel interface for receiving callbacks when a managed
30              partition shuts down.
32 endif