# SPDX-License-Identifier: GPL-2.0
dtb-$(CONFIG_ARCH_MICROCHIP) += mpfs-beaglev-fire.dtb
dtb-$(CONFIG_ARCH_MICROCHIP) += mpfs-disco-kit.dtb
dtb-$(CONFIG_ARCH_MICROCHIP) += mpfs-icicle-kit.dtb
dtb-$(CONFIG_ARCH_MICROCHIP) += mpfs-icicle-kit-prod.dtb
dtb-$(CONFIG_ARCH_MICROCHIP) += mpfs-m100pfsevp.dtb
dtb-$(CONFIG_ARCH_MICROCHIP) += mpfs-polarberry.dtb
dtb-$(CONFIG_ARCH_MICROCHIP) += mpfs-sev-kit.dtb
dtb-$(CONFIG_ARCH_MICROCHIP) += mpfs-tysom-m.dtb
dtb-$(CONFIG_ARCH_MICROCHIP) += pic64gx-curiosity-kit.dtb