config NVIDIA_VGPU_VFIO
	tristate "NVIDIA vGPU VFIO Mediated Device Driver"
	depends on VFIO_MDEV && PCI && IOMMU_API
	select VFIO_PCI_CORE
	help
	  This driver provides VFIO mediated device support for NVIDIA GPUs,
	  enabling vGPU functionality through the Linux VFIO/mdev framework.
	  It replaces the proprietary nvidia-vgpu-vfio.ko kernel module.

	  The driver handles:
	  - VFIO device creation and management
	  - BAR trapping and emulation
	  - GSP (GPU System Processor) communication
	  - Memory mapping and pinning
	  - IRQFD/IOEVENTFD handling
	  - Live migration support

	  To compile this driver as a module, choose M here: the
	  module will be called nvidia-vgpu-vfio.

if NVIDIA_VGPU_VFIO

config NVIDIA_VGPU_VFIO_DEBUG
	bool "Enable debug logging for NVIDIA vGPU VFIO driver"
	default n
	help
	  Enable verbose debug logging in the NVIDIA vGPU VFIO driver.
	  This will increase kernel log verbosity significantly.

config NVIDIA_VGPU_VFIO_MIGRATION
	bool "Enable live migration support"
	default y
	help
	  Enable live migration support for vGPU mediated devices.
	  This adds the migration ioctl interface and state serialization.

config NVIDIA_VGPU_VFIO_GSP_RPC
	bool "Enable GSP RPC communication"
	default y
	help
	  Enable communication with the GPU System Processor (GSP)
	  via RPC for scheduling and resource management.

endif