#!/bin/sh

set -u
set -e

# Rename boot images for the dear TF-A
ln -sf u-boot.bin ${BINARIES_DIR}/bl33.bin
ln -sf tee-header_v2.bin ${BINARIES_DIR}/bl32.bin
ln -sf tee-pager_v2.bin ${BINARIES_DIR}/bl32_extra1.bin
ln -sf tee-pageable_v2.bin ${BINARIES_DIR}/bl32_extra2.bin