#!/usr/bin/env bash
#
# Copyright (c) 2021, 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_AEMv8A-GIC600AE"

default_var sve_plugin_path "$warehouse/SysGen/PVModelLib/0.0/6415/external/plugins/$model_flavour/sve2-HEAD/ScalableVectorExtension.so"

source "$ci_root/model/base-aemva-common.sh"

# TF-A code maintain GICD and GICR base address at 0x2f000000
# 0x2f100000 respectively. Model provides provision to only
# put GICD base address, and there is a calculation to derive
# GICR base address i.e.
# GICR base address =  0x2f000000 + (4 + (2 × ITScount)+(RDnum × 2)) << 16
# Hence to set GICR base address to 0x2f100000, set the
# ITScount=6 where RDnum=0
cat <<EOF >>"$model_param_file"
-C gic_iri.ITS-count=6
EOF