| .. | .. |
|---|
| 1 | +# SPDX-License-Identifier: GPL-2.0-only |
|---|
| 1 | 2 | config VFIO_IOMMU_TYPE1 |
|---|
| 2 | 3 | tristate |
|---|
| 3 | 4 | depends on VFIO |
|---|
| .. | .. |
|---|
| 20 | 21 | |
|---|
| 21 | 22 | menuconfig VFIO |
|---|
| 22 | 23 | tristate "VFIO Non-Privileged userspace driver framework" |
|---|
| 23 | | - depends on IOMMU_API |
|---|
| 24 | | - select VFIO_IOMMU_TYPE1 if (X86 || S390 || ARM_SMMU || ARM_SMMU_V3) |
|---|
| 24 | + select IOMMU_API |
|---|
| 25 | + select VFIO_IOMMU_TYPE1 if MMU && (X86 || S390 || ARM || ARM64) |
|---|
| 25 | 26 | help |
|---|
| 26 | 27 | VFIO provides a framework for secure userspace device drivers. |
|---|
| 27 | | - See Documentation/vfio.txt for more details. |
|---|
| 28 | + See Documentation/driver-api/vfio.rst for more details. |
|---|
| 28 | 29 | |
|---|
| 29 | 30 | If you don't know what to do here, say N. |
|---|
| 30 | 31 | |
|---|
| .. | .. |
|---|
| 46 | 47 | source "drivers/vfio/pci/Kconfig" |
|---|
| 47 | 48 | source "drivers/vfio/platform/Kconfig" |
|---|
| 48 | 49 | source "drivers/vfio/mdev/Kconfig" |
|---|
| 50 | +source "drivers/vfio/fsl-mc/Kconfig" |
|---|
| 49 | 51 | source "virt/lib/Kconfig" |
|---|