1# Copyright (c) 2021 Arm Limited (or its affiliates). All rights reserved.
2# SPDX-License-Identifier: Apache-2.0
3
4set(SUPPORTED_EMU_PLATFORMS armfvp)
5set(ARMFVP_BIN_NAME FVP_BaseR_AEMv8R)
6set(ARMFVP_MIN_VERSION 11.16.16)
7
8set(ARMFVP_FLAGS
9  -C cluster0.has_aarch64=1
10  -C cluster0.VMSA_supported=0
11  -C cluster0.NUM_CORES=${CONFIG_MP_MAX_NUM_CPUS}
12  -C cluster0.gicv3.cpuintf-mmap-access-level=2
13  -C cluster0.gicv3.SRE-enable-action-on-mmap=2
14  -C cluster0.gicv3.SRE-EL2-enable-RAO=1
15  -C cluster0.gicv3.extended-interrupt-range-support=1
16  -C gic_distributor.GICD_CTLR-DS-1-means-secure-only=1
17  -C gic_distributor.has-two-security-states=0
18  -C bp.refcounter.non_arch_start_at_default=1
19  # UART0 config
20  -C bp.pl011_uart0.out_file=-
21  -C bp.pl011_uart0.unbuffered_output=1
22  -C bp.terminal_0.start_telnet=0
23  # UART1 config
24  -C bp.pl011_uart1.out_file=-
25  -C bp.pl011_uart1.unbuffered_output=1
26  -C bp.terminal_1.start_telnet=0
27  # UART2 config
28  -C bp.pl011_uart2.out_file=-
29  -C bp.pl011_uart2.unbuffered_output=1
30  -C bp.terminal_2.start_telnet=0
31  # UART3 config
32  -C bp.pl011_uart3.out_file=-
33  -C bp.pl011_uart3.unbuffered_output=1
34  -C bp.terminal_3.start_telnet=0
35
36  -C bp.vis.disable_visualisation=1
37  -C bp.vis.rate_limit-enable=0
38  -C cache_state_modelled=1
39  )
40