linux/arch/arm/boot/dts/cirrus/Makefile

# SPDX-License-Identifier: GPL-2.0
dtb-$(CONFIG_ARCH_CLPS711X) += \
	ep7211-edb7211.dtb
dtb-$(CONFIG_ARCH_CLPS711X) += \
	ep7211-edb7211.dtb
dtb-$(CONFIG_ARCH_EP93XX) += \
	ep93xx-edb9302.dtb \
	ep93xx-bk3.dtb \
	ep93xx-ts7250.dtb