18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_civfio-platform-base-y := vfio_platform_common.o vfio_platform_irq.o 38c2ecf20Sopenharmony_civfio-platform-y := vfio_platform.o 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ciobj-$(CONFIG_VFIO_PLATFORM) += vfio-platform.o 68c2ecf20Sopenharmony_ciobj-$(CONFIG_VFIO_PLATFORM) += vfio-platform-base.o 78c2ecf20Sopenharmony_ciobj-$(CONFIG_VFIO_PLATFORM) += reset/ 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_civfio-amba-y := vfio_amba.o 108c2ecf20Sopenharmony_ci 118c2ecf20Sopenharmony_ciobj-$(CONFIG_VFIO_AMBA) += vfio-amba.o 128c2ecf20Sopenharmony_ciobj-$(CONFIG_VFIO_AMBA) += vfio-platform-base.o 138c2ecf20Sopenharmony_ciobj-$(CONFIG_VFIO_AMBA) += reset/ 14