| config VFIO_PLATFORM | 
 | 	tristate "VFIO support for platform devices" | 
 | 	depends on VFIO && EVENTFD && (ARM || ARM64) | 
 | 	select VFIO_VIRQFD | 
 | 	help | 
 | 	  Support for platform devices with VFIO. This is required to make | 
 | 	  use of platform devices present on the system using the VFIO | 
 | 	  framework. | 
 |  | 
 | 	  If you don't know what to do here, say N. | 
 |  | 
 | config VFIO_AMBA | 
 | 	tristate "VFIO support for AMBA devices" | 
 | 	depends on VFIO_PLATFORM && ARM_AMBA | 
 | 	help | 
 | 	  Support for ARM AMBA devices with VFIO. This is required to make | 
 | 	  use of ARM AMBA devices present on the system using the VFIO | 
 | 	  framework. | 
 |  | 
 | 	  If you don't know what to do here, say N. | 
 |  | 
 | source "drivers/vfio/platform/reset/Kconfig" |