Kconfig

 1# SPDX-License-Identifier: GPL-2.0-only
 2config MLX5_VFIO_PCI
 3	tristate "VFIO support for MLX5 PCI devices"
 4	depends on MLX5_CORE
 5	select VFIO_PCI_CORE
 6	select IOMMUFD_DRIVER
 7	help
 8	  This provides migration support for MLX5 devices using the VFIO
 9	  framework.
10
11	  If you don't know what to do here, say N.