| johpow01 | 936638d | 2021-11-08 18:22:24 -0600 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | # |
| 3 | # Copyright (c) 2021, Arm Limited. All rights reserved. |
| 4 | # |
| 5 | # SPDX-License-Identifier: BSD-3-Clause |
| 6 | # |
| 7 | |
| 8 | if is_arm_jenkins_env || upon "$local_ci"; then |
| 9 | # Internal ARM Jenkins environment path |
| 10 | set_model_path "$warehouse/SysGen/Models/$model_version/$model_build/external/models/$model_flavour/FVP_BaseR_AEMv8R" |
| 11 | else |
| 12 | # OpenCI support will be added in a future patch |
| 13 | set_model_path "" |
| 14 | fi |
| 15 | |
| 16 | # Write model command line options |
| 17 | cat <<EOF >"$model_param_file" |
| Chris Kay | 30120b3 | 2023-01-31 16:43:49 +0000 | [diff] [blame^] | 18 | -C bp.terminal_0.start_port=5000 |
| 19 | -C bp.terminal_1.start_port=5001 |
| 20 | -C bp.terminal_2.start_port=5002 |
| 21 | -C bp.terminal_3.start_port=5003 |
| johpow01 | 936638d | 2021-11-08 18:22:24 -0600 | [diff] [blame] | 22 | |
| 23 | -C bp.pl011_uart0.unbuffered_output=1 |
| 24 | -C bp.pl011_uart0.untimed_fifos=true |
| 25 | -C cache_state_modelled=0 |
| 26 | -C bp.vis.rate_limit-enable=0 |
| 27 | -C cluster0.NUM_CORES=4 |
| 28 | -C cluster0.has_aarch64=1 |
| 29 | -C bp.exclusive_monitor.monitor_access_level=1 |
| 30 | -C cluster0.cpu0.RVBAR=0x80000000 |
| 31 | -C cluster0.cpu1.RVBAR=0x80000000 |
| 32 | -C cluster0.cpu2.RVBAR=0x80000000 |
| 33 | -C cluster0.cpu3.RVBAR=0x80000000 |
| 34 | -C bp.dram_metadata.init_value=0 |
| 35 | -C bp.dram_metadata.is_enabled=true |
| 36 | -C bp.dram_size=8 |
| 37 | -C bp.refcounter.non_arch_start_at_default=1 |
| 38 | -C bp.ve_sysregs.mmbSiteDefault=0 |
| 39 | -C cluster0.gicv3.cpuintf-mmap-access-level=2 |
| 40 | -C cluster0.gicv3.SRE-enable-action-on-mmap=2 |
| 41 | -C cluster0.gicv3.SRE-EL2-enable-RAO=1 |
| 42 | -C cluster0.gicv3.extended-interrupt-range-support=1 |
| 43 | -C cluster0.stage12_tlb_size=512 |
| 44 | -C gic_distributor.GICD_CTLR-DS-1-means-secure-only=1 |
| 45 | -C gic_distributor.GITS_BASER0-type=1 |
| 46 | -C gic_distributor.ITS-count=1 |
| 47 | -C gic_distributor.ITS-hardware-collection-count=1 |
| 48 | -C gic_distributor.direct-lpi-support=1 |
| 49 | -C gic_distributor.has-two-security-states=0 |
| 50 | -C pctl.startup=0.0.0.* |
| 51 | -C bp.secureflashloader.fname=$bl1_bin |
| 52 | -C bp.virtioblockdevice.image_path=$rootfs_bin |
| 53 | --data cluster0.cpu0=$fip_bin@$fip_addr |
| 54 | --data cluster0.cpu0=$dtb_bin@$dtb_addr |
| 55 | --data cluster0.cpu0=$kernel_bin@$kernel_addr |
| 56 | |
| 57 | EOF |