18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ciconfig VFIO_PLATFORM 38c2ecf20Sopenharmony_ci tristate "VFIO support for platform devices" 48c2ecf20Sopenharmony_ci depends on VFIO && EVENTFD && (ARM || ARM64) 58c2ecf20Sopenharmony_ci select VFIO_VIRQFD 68c2ecf20Sopenharmony_ci help 78c2ecf20Sopenharmony_ci Support for platform devices with VFIO. This is required to make 88c2ecf20Sopenharmony_ci use of platform devices present on the system using the VFIO 98c2ecf20Sopenharmony_ci framework. 108c2ecf20Sopenharmony_ci 118c2ecf20Sopenharmony_ci If you don't know what to do here, say N. 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_ciconfig VFIO_AMBA 148c2ecf20Sopenharmony_ci tristate "VFIO support for AMBA devices" 158c2ecf20Sopenharmony_ci depends on VFIO_PLATFORM && ARM_AMBA 168c2ecf20Sopenharmony_ci help 178c2ecf20Sopenharmony_ci Support for ARM AMBA devices with VFIO. This is required to make 188c2ecf20Sopenharmony_ci use of ARM AMBA devices present on the system using the VFIO 198c2ecf20Sopenharmony_ci framework. 208c2ecf20Sopenharmony_ci 218c2ecf20Sopenharmony_ci If you don't know what to do here, say N. 228c2ecf20Sopenharmony_ci 238c2ecf20Sopenharmony_cisource "drivers/vfio/platform/reset/Kconfig" 24