# SPDX-License-Identifier: GPL-2.0
#
# Make file to build device tree binaries for boards based on
# Texas Instruments Inc processors
#
# Copyright (C) 2016-2018 Texas Instruments Incorporated - http://www.ti.com/
#

DTC_FLAGS += -@

dtb-$(CONFIG_ARCH_K3_AM6_SOC) += k3-am654-base-board.dtb  \
				 k3-am654-base-board-sr1.dtb \
				 k3-am654-gp.dtbo \
				 k3-am654-evm-hdmi.dtbo \
				 k3-am654-base-board-jailhouse.dtbo \
				 k3-am654-evm-oldi-lcd1evm.dtbo \
				 k3-am654-evm-tc358876.dtbo \
				 k3-am654-idk.dtbo \
				 k3-am654-pcie-usb3.dtbo \
				 k3-am654-pcie-usb2.dtbo \
				 k3-am654-evm-prupwm.dtbo \
				 k3-am654-idk-sr1.dtbo

dtb-$(CONFIG_ARCH_K3_J721E_SOC) += k3-j721e-common-proc-board.dtb \
				   k3-j721e-proc-board-tps65917.dtb \
				   k3-j7200-common-proc-board.dtb \
				   k3-j721e-common-proc-board-infotainment.dtbo \
				   k3-j721e-pcie-backplane.dtbo \
				   k3-j721e-common-proc-board-jailhouse.dtbo \
				   k3-j7200-common-proc-board-jailhouse.dtbo

dtb-$(CONFIG_ARCH_K3) += k3-am642-evm.dtb

dtb-$(CONFIG_ARCH_K3) += k3-am642-sk.dtb
