# SPDX-License-Identifier: GPL-2.0
dtb-$(CONFIG_MACH_ARTPEC6) += \
artpec6-devboard.dtb
dtb-$(CONFIG_MACH_ARTPEC6) += \
artpec6-devboard.dtb
# SPDX-License-Identifier: GPL-2.0
dtb-$(CONFIG_MACH_ARTPEC6) += \
artpec6-devboard.dtb
dtb-$(CONFIG_MACH_ARTPEC6) += \
artpec6-devboard.dtb