# SPDX-License-Identifier: GPL-2.0 vfio-platform-base-y := vfio_platform_common.o vfio_platform_irq.o vfio-platform-y := vfio_platform.o obj-$([31mCONFIG_VFIO_PLATFORM[0m) += vfio-platform.o obj-$([31mCONFIG_VFIO_PLATFORM[0m) += vfio-platform-base.o obj-$([31mCONFIG_VFIO_PLATFORM[0m) += reset/ vfio-amba-y := vfio_amba.o obj-$([31mCONFIG_VFIO_AMBA[0m) += vfio-amba.o obj-$([31mCONFIG_VFIO_AMBA[0m) += vfio-platform-base.o obj-$([31mCONFIG_VFIO_AMBA[0m) += reset/ |