1# SPDX-License-Identifier: GPL-2.0 2vfio-platform-base-y := vfio_platform_common.o vfio_platform_irq.o 3vfio-platform-y := vfio_platform.o 4 5obj-$(CONFIG_VFIO_PLATFORM) += vfio-platform.o 6obj-$(CONFIG_VFIO_PLATFORM) += vfio-platform-base.o 7obj-$(CONFIG_VFIO_PLATFORM) += reset/ 8 9vfio-amba-y := vfio_amba.o 10 11obj-$(CONFIG_VFIO_AMBA) += vfio-amba.o 12obj-$(CONFIG_VFIO_AMBA) += vfio-platform-base.o 13obj-$(CONFIG_VFIO_AMBA) += reset/ 14