# SPDX-License-Identifier: GPL-2.0 
 | 
# 
 | 
# Make file to build device tree binaries for boards based on 
 | 
# Texas Instruments Inc processors 
 | 
# 
 | 
# Copyright (C) 2016-2020 Texas Instruments Incorporated - https://www.ti.com/ 
 | 
# 
 | 
  
 | 
dtb-$(CONFIG_ARCH_K3) += k3-am654-base-board.dtb 
 | 
  
 | 
dtb-$(CONFIG_ARCH_K3) += k3-j721e-common-proc-board.dtb 
 | 
  
 | 
dtb-$(CONFIG_ARCH_K3) += k3-j7200-common-proc-board.dtb 
 |