| # SPDX-License-Identifier: GPL-2.0+ |
| # Copyright (C) 2019 Rockchip Electronic Co.,Ltd |
| # Script to generate FIT image source for 32-bit Rockchip SoCs with |
| # U-Boot proper, OPTEE, and devicetree. |
| [ -z "$TEE" ] && TEE="tee.bin" |
| echo "WARNING: TEE file $TEE NOT found, U-Boot.itb is non-functional" >&2 |
| echo "Please export path for TEE or copy tee.bin to U-Boot folder" >&2 |
| text_base=`sed -n "/SYS_TEXT_BASE=/s/CONFIG_SYS_TEXT_BASE=//p" .config \ |
| dram_base=`sed -n "/SYS_SDRAM_BASE=/s/CONFIG_SYS_SDRAM_BASE=//p" \ |
| include/autoconf.mk|tr -d '\r'` |
| tee_base=`echo "obase=16;$(($dram_base+0x8400000))"|bc` |
| * Copyright (C) 2017-2019 Rockchip Electronic Co.,Ltd |
| * Simple U-boot FIT source file containing U-Boot, dtb and optee |
| description = "FIT image with OP-TEE support"; |
| data = /incbin/("u-boot-nodtb.bin"); |
| description = "$(basename $dtname .dtb)"; |
| data = /incbin/("$dtname"); |
| description = "$(basename $dtname .dtb)"; |