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

set_model_path "$warehouse/SysGen/SubSystemModels/0.0/5903/models/$model_flavour/FVP_RD_TC_2020"

cat <<EOF >"$model_param_file"
${bl1_bin+-C css.trustedBootROMloader.fname=$bl1_bin}
${scp_romfw_bin+-C css.scp.ROMloader.fname=$scp_romfw_bin}
${fip_bin+-C board.flashloader0.fname=$fip_bin}
${initrd_bin+--data board.cpu=$initrd_bin@${initrd_addr:?}}
${kernel_bin+--data board.cpu=$kernel_bin@${kernel_addr:?}}
${uart0_out+-C soc.pl011_uart0.out_file=$uart0_out}
${uart0_out+-C soc.pl011_uart0.unbuffered_output=1}
${uart1_out+-C soc.pl011_uart1.out_file=$uart1_out}
${uart1_out+-C soc.pl011_uart1.unbuffered_output=1}
EOF