1 # SPDX-License-Identifier: GPL-2.0-only
2 config VFIO_IOMMU_TYPE1
7 config VFIO_IOMMU_SPAPR_TCE
9 depends on VFIO && SPAPR_TCE_IOMMU
14 depends on EEH && VFIO_IOMMU_SPAPR_TCE
19 depends on VFIO && EVENTFD
23 tristate "VFIO Non-Privileged userspace driver framework"
25 select VFIO_IOMMU_TYPE1 if MMU && (X86 || S390 || ARM || ARM64)
27 VFIO provides a framework for secure userspace device drivers.
28 See Documentation/driver-api/vfio.rst for more details.
30 If you don't know what to do here, say N.
33 bool "VFIO No-IOMMU support"
36 VFIO is built on the ability to isolate devices using the IOMMU.
37 Only with an IOMMU can userspace access to DMA capable devices be
38 considered secure. VFIO No-IOMMU mode enables IOMMU groups for
39 devices without IOMMU backing for the purpose of re-using the VFIO
40 infrastructure in a non-secure mode. Use of this mode will result
41 in an unsupportable kernel and will therefore taint the kernel.
42 Device assignment to virtual machines is also not possible with
43 this mode since there is no IOMMU to provide DMA translation.
45 If you don't know what to do here, say N.
47 source "drivers/vfio/pci/Kconfig"
48 source "drivers/vfio/platform/Kconfig"
49 source "drivers/vfio/mdev/Kconfig"
50 source "drivers/vfio/fsl-mc/Kconfig"
51 source "virt/lib/Kconfig"