1*4882a593Smuzhiyun# SPDX-License-Identifier: GPL-2.0-only 2*4882a593Smuzhiyunconfig VFIO_PLATFORM 3*4882a593Smuzhiyun tristate "VFIO support for platform devices" 4*4882a593Smuzhiyun depends on VFIO && EVENTFD && (ARM || ARM64) 5*4882a593Smuzhiyun select VFIO_VIRQFD 6*4882a593Smuzhiyun help 7*4882a593Smuzhiyun Support for platform devices with VFIO. This is required to make 8*4882a593Smuzhiyun use of platform devices present on the system using the VFIO 9*4882a593Smuzhiyun framework. 10*4882a593Smuzhiyun 11*4882a593Smuzhiyun If you don't know what to do here, say N. 12*4882a593Smuzhiyun 13*4882a593Smuzhiyunconfig VFIO_AMBA 14*4882a593Smuzhiyun tristate "VFIO support for AMBA devices" 15*4882a593Smuzhiyun depends on VFIO_PLATFORM && ARM_AMBA 16*4882a593Smuzhiyun help 17*4882a593Smuzhiyun Support for ARM AMBA devices with VFIO. This is required to make 18*4882a593Smuzhiyun use of ARM AMBA devices present on the system using the VFIO 19*4882a593Smuzhiyun framework. 20*4882a593Smuzhiyun 21*4882a593Smuzhiyun If you don't know what to do here, say N. 22*4882a593Smuzhiyun 23*4882a593Smuzhiyunsource "drivers/vfio/platform/reset/Kconfig" 24