33 lines
931 B
CMake
33 lines
931 B
CMake
# Copyright (c) 2021 Carlo Caione <ccaione@baylibre.com>
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
set(SUPPORTED_EMU_PLATFORMS armfvp)
|
|
set(ARMFVP_BIN_NAME FVP_Base_RevC-2xAEMvA)
|
|
|
|
set(ARMFVP_FLAGS
|
|
-C bp.secure_memory=0
|
|
-C cluster0.NUM_CORES=1
|
|
-C bp.refcounter.non_arch_start_at_default=1
|
|
# UART0 config
|
|
-C bp.pl011_uart0.out_file=-
|
|
-C bp.pl011_uart0.unbuffered_output=1
|
|
-C bp.terminal_0.start_telnet=0
|
|
# UART1 config
|
|
-C bp.pl011_uart1.out_file=-
|
|
-C bp.pl011_uart1.unbuffered_output=1
|
|
-C bp.terminal_1.start_telnet=0
|
|
# UART2 config
|
|
-C bp.pl011_uart2.out_file=-
|
|
-C bp.pl011_uart2.unbuffered_output=1
|
|
-C bp.terminal_2.start_telnet=0
|
|
# UART3 config
|
|
-C bp.pl011_uart3.out_file=-
|
|
-C bp.pl011_uart3.unbuffered_output=1
|
|
-C bp.terminal_3.start_telnet=0
|
|
|
|
-C bp.vis.disable_visualisation=1
|
|
-C bp.vis.rate_limit-enable=0
|
|
-C gic_distributor.ARE-fixed-to-one=1
|
|
-C gic_distributor.ITS-device-bits=16
|
|
)
|