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