# SPDX-License-Identifier: GPL-2.0 # Copyright (C) 2017-2021 Team LibreELEC (https://libreelec.tv) # Copyright (C) 2021-present Fewtarius PKG_RKBIN="$(get_build_dir rkbin)" source ${PROJECT_DIR}/${PROJECT}/devices/${DEVICE}/options if [ -n "$PKG_DATAFILE" -a -n "$PKG_LOADER" ]; then tools/mkimage -n ${PKG_SOC} -T rksd -d "${PKG_DATAFILE}" idbloader.img cat "$PKG_LOADER" >> idbloader.img cp -av idbloader.img $INSTALL/usr/share/bootloader fi if [ ! -n "${PKG_LOAD_ADDR}" ]; then PKG_LOAD_ADDR="0x00200000" fi $PKG_RKBIN/tools/loaderimage --pack --uboot u-boot-dtb.bin uboot.img ${PKG_LOAD_ADDR} cp -av uboot.img $INSTALL/usr/share/bootloader if [ -n "$PKG_BL31" ]; then cat >trust.ini <$INSTALL/usr/share/bootloader/boot.ini <