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	help
9	  This provides generic PCI support for PDS devices using the VFIO
10	  framework.
11
12	  More specific information on this driver can be
13	  found in
14	  <file:Documentation/networking/device_drivers/ethernet/amd/pds_vfio_pci.rst>.
15
16	  To compile this driver as a module, choose M here. The module
17	  will be called pds-vfio-pci.
18
19	  If you don't know what to do here, say N.
20