Kconfig

 1# SPDX-License-Identifier: GPL-2.0
 2# Copyright (c) 2023 Advanced Micro Devices, Inc.
 3
 4config PDS_VFIO_PCI
 5	tristate "VFIO support for PDS PCI devices"
 6	depends on PDS_CORE && PCI_IOV
 7	select VFIO_PCI_CORE
 8	select IOMMUFD_DRIVER
 9	help
10	  This provides generic PCI support for PDS devices using the VFIO
11	  framework.
12
13	  More specific information on this driver can be
14	  found in
15	  <file:Documentation/networking/device_drivers/ethernet/amd/pds_vfio_pci.rst>.
16
17	  To compile this driver as a module, choose M here. The module
18	  will be called pds-vfio-pci.
19
20	  If you don't know what to do here, say N.