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) # VMware VMCI device
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) #
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) config VMWARE_VMCI
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) 	tristate "VMware VMCI Driver"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) 	depends on X86 && PCI
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) 	help
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) 	  This is VMware's Virtual Machine Communication Interface.  It enables
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) 	  high-speed communication between host and guest in a virtual
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) 	  environment via the VMCI virtual device.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) 	  If unsure, say N.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) 	  To compile this driver as a module, choose M here: the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) 	  module will be called vmw_vmci.