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) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) config VFIO_MDEV
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) 	tristate "Mediated device driver framework"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) 	depends on VFIO
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) 	default n
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) 	help
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) 	  Provides a framework to virtualize devices.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) 	  See Documentation/driver-api/vfio-mediated-device.rst for more details.
^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 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_MDEV_DEVICE
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) 	tristate "VFIO driver for Mediated devices"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) 	depends on VFIO && VFIO_MDEV
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) 	default n
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) 	help
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) 	  VFIO based driver for Mediated devices.