diff options
| -rwxr-xr-x | rpb-uefi/staging/builders.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rpb-uefi/staging/builders.sh b/rpb-uefi/staging/builders.sh index 34d27c5a03..bcfec3c952 100755 --- a/rpb-uefi/staging/builders.sh +++ b/rpb-uefi/staging/builders.sh @@ -111,6 +111,11 @@ export JENKINS_WORKSPACE=${WORKSPACE} # WORKSPACE is used by uefi-build.sh unset WORKSPACE +# NOTE: If using upstream ATF, we should set TOS_BIN to tee-pager.bin +if [ "${MX_PLATFORM}" = "hikey" ]; then + sed -i "s|^TOS_BIN=tee.bin|TOS_BIN=tee-pager.bin|" ${UEFI_TOOLS_DIR}/platforms.config +fi + # Build UEFI for the desired platform, with the specified build type cd ${EDK2_DIR} bash -x ${UEFI_TOOLS_DIR}/uefi-build.sh -T ${TOOLCHAIN} -b ${MX_TYPE} -a ${ATF_DIR} -s ${OPTEE_OS_DIR} ${MX_PLATFORM} |