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. 21