# SPDX-License-Identifier: GPL-2.0vfio-platform-base-y := vfio_platform_common.o vfio_platform_irq.oobj-$(CONFIG_VFIO_PLATFORM_BASE) += vfio-platform-base.oobj-$(CONFIG_VFIO_PLATFORM_BASE) += reset/ vfio-platform-y := vfio_platform.oobj-$(CONFIG_VFIO_PLATFORM) += vfio-platform.o vfio-amba-y := vfio_amba.oobj-$(CONFIG_VFIO_AMBA) += vfio-amba.o