1# SPDX-License-Identifier: GPL-2.0-only
2config VFIO_IOMMU_TYPE1
3	tristate
4	depends on VFIO
5	default n
6
7config VFIO_IOMMU_SPAPR_TCE
8	tristate
9	depends on VFIO && SPAPR_TCE_IOMMU
10	default VFIO
11
12config VFIO_SPAPR_EEH
13	tristate
14	depends on EEH && VFIO_IOMMU_SPAPR_TCE
15	default VFIO
16
17config VFIO_VIRQFD
18	tristate
19	depends on VFIO && EVENTFD
20	default n
21
22menuconfig VFIO
23	tristate "VFIO Non-Privileged userspace driver framework"
24	depends on IOMMU_API
25	select VFIO_IOMMU_TYPE1 if (X86 || S390 || ARM || ARM64)
26	help
27	  VFIO provides a framework for secure userspace device drivers.
28	  See Documentation/driver-api/vfio.rst for more details.
29
30	  If you don't know what to do here, say N.
31
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
47source "drivers/vfio/pci/Kconfig"
48source "drivers/vfio/platform/Kconfig"
49source "drivers/vfio/mdev/Kconfig"
50source "virt/lib/Kconfig"
51