# 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}" -C bzip2 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 < "${INSTALL}/usr/share/bootloader/extlinux/extlinux.conf" LABEL ${DISTRO} LINUX /${KERNEL_NAME} FDT /${DEVICE_DTB}.dtb APPEND boot=UUID=@BOOT_UUID@ disk=UUID=@DISK_UUID@ ${EXTRA_CMDLINE} EOF