#!/usr/bin/env bash
#
# Copyright (c) 2020, Arm Limited. All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
#

post_tf_build() {
	build_fip BL33="$archive/edk2.bin" BL32="$archive/bl32.bin" \
		BL32_EXTRA1="$archive/bl32_extra1.bin" \
		BL32_EXTRA2="$archive/bl32_extra2.bin"
}