Orange Pi5 kernel

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