1# SPDX-License-Identifier: GPL-2.0+ 2# 3# Copyright (C) 2017-2018 Texas Instruments Incorporated - http://www.ti.com/ 4# Lokesh Vutla <lokeshvutla@ti.com> 5 6ifdef CONFIG_SPL_BUILD 7 8ifdef CONFIG_ARM64 9SPL_ITS := u-boot-spl-k3.its 10$(SPL_ITS): FORCE 11 $(srctree)/tools/k3_fit_atf.sh \ 12 $(patsubst %,$(obj)/dts/%.dtb,$(subst ",,$(CONFIG_SPL_OF_LIST))) > $@ 13 14ALL-y += tispl.bin 15endif 16 17else 18ALL-y += u-boot.img 19endif 20