diff options
Diffstat (limited to 'drivers/virt/Kconfig')
-rw-r--r-- | drivers/virt/Kconfig | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/drivers/virt/Kconfig b/drivers/virt/Kconfig new file mode 100644 index 000000000000..2dcdbc9364d8 --- /dev/null +++ b/drivers/virt/Kconfig | |||
@@ -0,0 +1,32 @@ | |||
1 | # | ||
2 | # Virtualization support drivers | ||
3 | # | ||
4 | |||
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. | ||
10 | |||
11 | If you say N, all options in this submenu will be skipped and disabled. | ||
12 | |||
13 | if VIRT_DRIVERS | ||
14 | |||
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: | ||
21 | |||
22 | 1) An ioctl interface for querying and managing partitions. | ||
23 | |||
24 | 2) A file interface to reading incoming doorbells. | ||
25 | |||
26 | 3) An interrupt handler for shutting down the partition upon | ||
27 | receiving the shutdown doorbell from a manager partition. | ||
28 | |||
29 | 4) A kernel interface for receiving callbacks when a managed | ||
30 | partition shuts down. | ||
31 | |||
32 | endif | ||