| 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 | |
| Alex Williamson | cba3345 | 2012-07-31 08:16:22 -0600 | [diff] [blame] | 11 | menuconfig VFIO |
| 12 | tristate "VFIO Non-Privileged userspace driver framework" |
| 13 | depends on IOMMU_API |
| Alex Williamson | 73fa0d1 | 2012-07-31 08:16:23 -0600 | [diff] [blame] | 14 | select VFIO_IOMMU_TYPE1 if X86 |
| Alexey Kardashevskiy | 5b25199 | 2013-05-21 13:33:11 +1000 | [diff] [blame] | 15 | select VFIO_IOMMU_SPAPR_TCE if (PPC_POWERNV || PPC_PSERIES) |
| Alex Williamson | cba3345 | 2012-07-31 08:16:22 -0600 | [diff] [blame] | 16 | help |
| 17 | VFIO provides a framework for secure userspace device drivers. |
| 18 | See Documentation/vfio.txt for more details. |
| 19 | |
| 20 | If you don't know what to do here, say N. |
| Alex Williamson | 89e1f7d | 2012-07-31 08:16:24 -0600 | [diff] [blame] | 21 | |
| 22 | source "drivers/vfio/pci/Kconfig" |