# SPDX-License-Identifier: GPL-2.0
dtb-$(CONFIG_ARCH_MEDIATEK) += auto2712p1v1-ivi-boot.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += auto2712p1v1-ivi-nand-boot.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt2712-evb.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt6755-evb.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt6779-evb.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt6795-evb.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt6797-evb.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt6797-x20-dev.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt7622-rfb1.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt7622-lynx-rfb1.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt7622-bananapi-bpi-r64.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt8168-evb.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += mt8173-evb.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += fpga6880_64.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += fpga6880_64_ax1800.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += fpga6890_64.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += evb6880v1_datacard.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += evb6890v1_64_cpe.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += evb6890v1_64_mifi.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += k6880v1_mdot2_datacard.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += evb6890v1_datacard_emmc.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += evb6890v1_64_cpe_dsc.dtb
dtb-$(CONFIG_ARCH_MEDIATEK) += evb6890v1_64_odu.dtb
DTC_FLAGS_evb6880v1_datacard += -@
DTC_FLAGS_evb6890v1_64_cpe += -@
DTC_FLAGS_evb6890v1_64_mifi += -@
DTC_FLAGS_k6880v1_mdot2_datacard += -@
DTC_FLAGS_evb6890v1_64_cpe_dsc += -@
DTC_FLAGS_evb6890v1_64_odu += -@
