treewide: Add SPDX license identifier - Makefile/Kconfig
[linux-2.6-block.git] / drivers / vfio / Kconfig
CommitLineData
ec8f24b7 1# SPDX-License-Identifier: GPL-2.0-only
73fa0d10
AW
2config VFIO_IOMMU_TYPE1
3 tristate
4 depends on VFIO
5 default n
6
5ffd229c
AK
7config VFIO_IOMMU_SPAPR_TCE
8 tristate
9 depends on VFIO && SPAPR_TCE_IOMMU
d88423f7 10 default VFIO
5ffd229c 11
92d18a68
GS
12config VFIO_SPAPR_EEH
13 tristate
14 depends on EEH && VFIO_IOMMU_SPAPR_TCE
d88423f7 15 default VFIO
92d18a68 16
71be3423
AW
17config VFIO_VIRQFD
18 tristate
19 depends on VFIO && EVENTFD
20 default n
21
cba3345c
AW
22menuconfig VFIO
23 tristate "VFIO Non-Privileged userspace driver framework"
24 depends on IOMMU_API
cf3f98c7 25 select VFIO_IOMMU_TYPE1 if (X86 || S390 || ARM || ARM64)
cba3345c
AW
26 help
27 VFIO provides a framework for secure userspace device drivers.
28 See Documentation/vfio.txt for more details.
29
30 If you don't know what to do here, say N.
89e1f7d4 31
03a76b60
AW
32menuconfig VFIO_NOIOMMU
33 bool "VFIO No-IOMMU support"
34 depends on VFIO
35 help
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.
44
45 If you don't know what to do here, say N.
46
89e1f7d4 47source "drivers/vfio/pci/Kconfig"
53161532 48source "drivers/vfio/platform/Kconfig"
7b96953b 49source "drivers/vfio/mdev/Kconfig"
6d7425f1 50source "virt/lib/Kconfig"