blob: 59ff66c1b54aaf3fdf3ffea8589e22a90596fa4c [file] [log] [blame]
Leonardo Sandoval9dfdd1b2020-08-06 17:08:11 -05001#!/usr/bin/env bash
Fathi Boudra422bf772019-12-02 11:10:16 +02002#
Leonardo Sandoval579c7372020-10-23 15:23:32 -05003# Copyright (c) 2019-2020 Arm Limited. All rights reserved.
Fathi Boudra422bf772019-12-02 11:10:16 +02004#
5# SPDX-License-Identifier: BSD-3-Clause
6#
7
8post_tf_build() {
Harrison Mutaiae6fbf12025-04-11 15:18:21 +00009 # Fetch and archive the OP-TEE header binary as 'bl32.bin'
10 url="${optee_path}/tee-header_v2.bin" filename="bl32.bin" \
11 fetch_and_archive
12
13 # Fetch and archive the OP-TEE pager binary as 'bl32_extra1.bin'
14 url="${optee_path}/tee-pager_v2.bin" filename="bl32_extra1.bin" \
15 fetch_and_archive
Fathi Boudra422bf772019-12-02 11:10:16 +020016}