| Alex Williamson | 73fa0d1 | 2012-07-31 08:16:23 -0600 | [diff] [blame] | 1 | config VFIO_IOMMU_TYPE1 |
| 2 | tristate |
| 3 | depends on VFIO |
| 4 | default n |
| 5 | |
| Alexey Kardashevskiy | 5ffd229 | 2013-05-21 13:33:10 +1000 | [diff] [blame] | 6 | config VFIO_IOMMU_SPAPR_TCE |
| 7 | tristate |
| 8 | depends on VFIO && SPAPR_TCE_IOMMU |
| 9 | default n |
| 10 | |
| Gavin Shan | 92d18a6 | 2014-08-08 10:36:20 -0600 | [diff] [blame] | 11 | config VFIO_SPAPR_EEH |
| 12 | tristate |
| 13 | depends on EEH && VFIO_IOMMU_SPAPR_TCE |
| 14 | default n |
| 15 | |
| Alex Williamson | 71be342 | 2015-03-17 08:33:38 -0600 | [diff] [blame] | 16 | config VFIO_VIRQFD |
| 17 | tristate |
| 18 | depends on VFIO && EVENTFD |
| 19 | default n |
| 20 | |
| Alex Williamson | cba3345 | 2012-07-31 08:16:22 -0600 | [diff] [blame] | 21 | menuconfig VFIO |
| 22 | tristate "VFIO Non-Privileged userspace driver framework" |
| 23 | depends on IOMMU_API |
| Will Deacon | 8a0a01b | 2015-05-27 17:26:00 +0100 | [diff] [blame] | 24 | select VFIO_IOMMU_TYPE1 if (X86 || S390 || ARM_SMMU || ARM_SMMU_V3) |
| Alexey Kardashevskiy | 5b25199 | 2013-05-21 13:33:11 +1000 | [diff] [blame] | 25 | select VFIO_IOMMU_SPAPR_TCE if (PPC_POWERNV || PPC_PSERIES) |
| Gavin Shan | 92d18a6 | 2014-08-08 10:36:20 -0600 | [diff] [blame] | 26 | select VFIO_SPAPR_EEH if (PPC_POWERNV || PPC_PSERIES) |
| Alex Williamson | cba3345 | 2012-07-31 08:16:22 -0600 | [diff] [blame] | 27 | help |
| 28 | VFIO provides a framework for secure userspace device drivers. |
| 29 | See Documentation/vfio.txt for more details. |
| 30 | |
| 31 | If you don't know what to do here, say N. |
| Alex Williamson | 89e1f7d | 2012-07-31 08:16:24 -0600 | [diff] [blame] | 32 | |
| Alex Williamson | 03a76b6 | 2015-12-21 15:13:33 -0700 | [diff] [blame] | 33 | menuconfig VFIO_NOIOMMU |
| 34 | bool "VFIO No-IOMMU support" |
| 35 | depends on VFIO |
| 36 | help |
| 37 | VFIO is built on the ability to isolate devices using the IOMMU. |
| 38 | Only with an IOMMU can userspace access to DMA capable devices be |
| 39 | considered secure. VFIO No-IOMMU mode enables IOMMU groups for |
| 40 | devices without IOMMU backing for the purpose of re-using the VFIO |
| 41 | infrastructure in a non-secure mode. Use of this mode will result |
| 42 | in an unsupportable kernel and will therefore taint the kernel. |
| 43 | Device assignment to virtual machines is also not possible with |
| 44 | this mode since there is no IOMMU to provide DMA translation. |
| 45 | |
| 46 | If you don't know what to do here, say N. |
| 47 | |
| Alex Williamson | 89e1f7d | 2012-07-31 08:16:24 -0600 | [diff] [blame] | 48 | source "drivers/vfio/pci/Kconfig" |
| Antonios Motakis | 5316153 | 2015-03-16 14:08:44 -0600 | [diff] [blame] | 49 | source "drivers/vfio/platform/Kconfig" |
| Feng Wu | 6d7425f | 2015-09-18 22:29:50 +0800 | [diff] [blame] | 50 | source "virt/lib/Kconfig" |