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

post_tf_build() {
	get_uboot_bin
}

post_fetch_tf_resource() {
        local model="base-aemv8a"

	image="$(mktempfile)"
	printf '\1\0\0\0' > "$image"

	preload_bl33="1" \
	preload_bl33_bin="uboot.bin" \
	reset_to_bl31="1" \
	cache_state_modelled="0" \
	memprotect="$image" \
	memprotect_addr="0xBFC0000" \
		model="$model" gen_model_params

	model="$model" gen_fvp_yaml
}