1# Copyright (c) 2021 Carlo Caione <ccaione@baylibre.com>
2# SPDX-License-Identifier: Apache-2.0
3
4set(SUPPORTED_EMU_PLATFORMS armfvp)
5set(ARMFVP_BIN_NAME FVP_Base_RevC-2xAEMvA)
6
7set(ARMFVP_FLAGS
8  -C bp.secure_memory=0
9  -C cluster0.NUM_CORES=${CONFIG_MP_MAX_NUM_CPUS}
10  -C bp.refcounter.non_arch_start_at_default=1
11  # UART0 config
12  -C bp.pl011_uart0.out_file=-
13  -C bp.pl011_uart0.unbuffered_output=1
14  -C bp.terminal_0.start_telnet=0
15  # UART1 config
16  -C bp.pl011_uart1.out_file=-
17  -C bp.pl011_uart1.unbuffered_output=1
18  -C bp.terminal_1.start_telnet=0
19  # UART2 config
20  -C bp.pl011_uart2.out_file=-
21  -C bp.pl011_uart2.unbuffered_output=1
22  -C bp.terminal_2.start_telnet=0
23  # UART3 config
24  -C bp.pl011_uart3.out_file=-
25  -C bp.pl011_uart3.unbuffered_output=1
26  -C bp.terminal_3.start_telnet=0
27
28  -C bp.vis.disable_visualisation=1
29  -C bp.vis.rate_limit-enable=0
30  -C gic_distributor.ARE-fixed-to-one=1
31  -C gic_distributor.ITS-device-bits=16
32  -C cache_state_modelled=0
33  )
34
35if(CONFIG_BUILD_WITH_TFA)
36  set(TFA_PLAT "fvp")
37
38  if(CONFIG_TFA_MAKE_BUILD_TYPE_DEBUG)
39    set(FVP_SECURE_FLASH_FILE ${TFA_BINARY_DIR}/fvp/debug/bl1.bin)
40    set(FVP_FLASH_FILE ${TFA_BINARY_DIR}/fvp/debug/fip.bin)
41  else()
42    set(FVP_SECURE_FLASH_FILE ${TFA_BINARY_DIR}/fvp/release/bl1.bin)
43    set(FVP_FLASH_FILE ${TFA_BINARY_DIR}/fvp/release/fip.bin)
44  endif()
45
46endif()
47