Quelle  Kconfig

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