| #!/usr/bin/env bash |
| # |
| # Copyright (c) 2021, Arm Limited. All rights reserved. |
| # |
| # SPDX-License-Identifier: BSD-3-Clause |
| # |
| |
| if is_arm_jenkins_env || upon "$local_ci"; then |
| # Internal ARM Jenkins environment path |
| set_model_path "$warehouse/SysGen/Models/$model_version/$model_build/external/models/$model_flavour/FVP_BaseR_AEMv8R" |
| else |
| # OpenCI support will be added in a future patch |
| source "$ci_root/fvp_utils.sh" |
| # fvp_models variable contains the information for FVP paths, where 2nd field |
| # points to the /opt/model/*/models/${model_flavour} |
| models_dir="$(echo ${fvp_models[$model]} | awk -F ';' '{print $2}')" |
| set_model_path "$models_dir" |
| fi |
| |
| # Write model command line options |
| 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 |
| |
| -C bp.pl011_uart0.unbuffered_output=1 |
| -C bp.pl011_uart0.untimed_fifos=true |
| -C cache_state_modelled=0 |
| -C bp.vis.rate_limit-enable=0 |
| -C cluster0.NUM_CORES=4 |
| -C cluster0.has_aarch64=1 |
| -C bp.exclusive_monitor.monitor_access_level=1 |
| -C cluster0.cpu0.RVBAR=0x80000000 |
| -C cluster0.cpu1.RVBAR=0x80000000 |
| -C cluster0.cpu2.RVBAR=0x80000000 |
| -C cluster0.cpu3.RVBAR=0x80000000 |
| -C bp.dram_metadata.init_value=0 |
| -C bp.dram_metadata.is_enabled=true |
| -C bp.dram_size=8 |
| -C bp.refcounter.non_arch_start_at_default=1 |
| -C bp.ve_sysregs.mmbSiteDefault=0 |
| -C cluster0.gicv3.cpuintf-mmap-access-level=2 |
| -C cluster0.gicv3.SRE-enable-action-on-mmap=2 |
| -C cluster0.gicv3.SRE-EL2-enable-RAO=1 |
| -C cluster0.gicv3.extended-interrupt-range-support=1 |
| -C cluster0.stage12_tlb_size=512 |
| -C gic_distributor.GICD_CTLR-DS-1-means-secure-only=1 |
| -C gic_distributor.GITS_BASER0-type=1 |
| -C gic_distributor.ITS-count=1 |
| -C gic_distributor.ITS-hardware-collection-count=1 |
| -C gic_distributor.direct-lpi-support=1 |
| -C gic_distributor.has-two-security-states=0 |
| -C pctl.startup=0.0.0.* |
| -C bp.secureflashloader.fname=$bl1_bin |
| -C bp.virtioblockdevice.image_path=$rootfs_bin |
| --data cluster0.cpu0=$fip_bin@$fip_addr |
| --data cluster0.cpu0=$dtb_bin@$dtb_addr |
| --data cluster0.cpu0=$kernel_bin@$kernel_addr |
| |
| EOF |