# SPDX-License-Identifier: GPL-2.0-only
if VFIO_PLATFORM
config VFIO_PLATFORM_CALXEDAXGMAC_RESET
 tristate "VFIO support for calxeda xgmac reset"
 help
   Enables the VFIO platform driver to handle reset for Calxeda xgmac

   If you don't know what to do here, say N.

config VFIO_PLATFORM_AMDXGBE_RESET
 tristate "VFIO support for AMD XGBE reset"
 help
   Enables the VFIO platform driver to handle reset for AMD XGBE

   If you don't know what to do here, say N.

config VFIO_PLATFORM_BCMFLEXRM_RESET
 tristate "VFIO support for Broadcom FlexRM reset"
 depends on ARCH_BCM_IPROC || COMPILE_TEST
 default ARCH_BCM_IPROC
 help
   Enables the VFIO platform driver to handle reset for Broadcom FlexRM

   If you don't know what to do here, say N.
endif