| David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame^] | 1 | # SPDX-License-Identifier: GPL-2.0-only |
| Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 2 | config VFIO_PLATFORM |
| 3 | tristate "VFIO support for platform devices" |
| 4 | depends on VFIO && EVENTFD && (ARM || ARM64) |
| 5 | select VFIO_VIRQFD |
| 6 | help |
| 7 | Support for platform devices with VFIO. This is required to make |
| 8 | use of platform devices present on the system using the VFIO |
| 9 | framework. |
| 10 | |
| 11 | If you don't know what to do here, say N. |
| 12 | |
| 13 | config VFIO_AMBA |
| 14 | tristate "VFIO support for AMBA devices" |
| 15 | depends on VFIO_PLATFORM && ARM_AMBA |
| 16 | help |
| 17 | Support for ARM AMBA devices with VFIO. This is required to make |
| 18 | use of ARM AMBA devices present on the system using the VFIO |
| 19 | framework. |
| 20 | |
| 21 | If you don't know what to do here, say N. |
| 22 | |
| 23 | source "drivers/vfio/platform/reset/Kconfig" |