# SPDX-License-Identifier: GPL-2.0
# Copyright (c) 2023 Advanced Micro Devices, Inc.

config PDS_VFIO_PCI
	tristate "VFIO support for PDS PCI devices"
	depends on PDS_CORE && PCI_IOV
	select VFIO_PCI_CORE
	select IOMMUFD_DRIVER
	help
	  This provides generic PCI support for PDS devices using the VFIO
	  framework.

	  More specific information on this driver can be
	  found in
	  <file:Documentation/networking/device_drivers/ethernet/amd/pds_vfio_pci.rst>.

	  To compile this driver as a module, choose M here. The module
	  will be called pds-vfio-pci.

	  If you don't know what to do here, say N.