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

set_model_path "$warehouse/SysGen/Models/$model_version/$model_build/external/models/$model_flavour/FVP_Base_Cortex-A57x4-A53x4"

source "$ci_root/model/fvp_common.sh"

cat <<EOF >>"$model_param_file"
-C bp.terminal_0.start_port=5000
-C bp.terminal_1.start_port=5001
-C bp.terminal_2.start_port=5002
-C bp.terminal_3.start_port=5003

${bmcov_plugin+--plugin=$bmcov_plugin_path}

${reset_to_bl31+-C cluster0.cpu0.RVBARADDR=${bl31_addr:?}}
${reset_to_bl31+-C cluster0.cpu1.RVBARADDR=${bl31_addr:?}}
${reset_to_bl31+-C cluster0.cpu2.RVBARADDR=${bl31_addr:?}}
${reset_to_bl31+-C cluster0.cpu3.RVBARADDR=${bl31_addr:?}}
${reset_to_bl31+-C cluster1.cpu0.RVBARADDR=${bl31_addr:?}}
${reset_to_bl31+-C cluster1.cpu1.RVBARADDR=${bl31_addr:?}}
${reset_to_bl31+-C cluster1.cpu2.RVBARADDR=${bl31_addr:?}}
${reset_to_bl31+-C cluster1.cpu3.RVBARADDR=${bl31_addr:?}}

EOF