1#
2# SPDX-License-Identifier: BSD-3-Clause
3# SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4#
5
6#
7# Set the RMM_PLATFORM variable to Cmake cache.
8#
9set(RMM_PLATFORM "fvp" CACHE STRING "platform")
10arm_config_option_override(NAME RMM_TOOLCHAIN DEFAULT "gnu")
11
12
13#
14# Width of the virtual address space for the system.
15#
16arm_config_option_override(NAME VIRT_ADDR_SPACE_WIDTH DEFAULT 38)
17
18#
19# Set RMM_MAX_SIZE for this platform (16 MB)
20#
21arm_config_option_override(NAME RMM_MAX_SIZE DEFAULT 0x01000000)
22
23#
24# UART Base address. This must be dynamically discovered in future.
25# Use UART3 on the FVP for RMM.
26#
27arm_config_option_override(NAME RMM_UART_ADDR DEFAULT 0x1c0c0000)
28
29#
30# Maximum number of translation tables allocated by the runtime context
31# for the translation library.
32#
33arm_config_option_override(NAME PLAT_CMN_CTX_MAX_XLAT_TABLES DEFAULT 5)
34
35#
36# Disable FPU/SIMD usage in RMM. Enabling this option turns on
37# DMBEDTLS_SHAXXX_USE_A64_CRYPTO_ONLY in Mbed TLS. To run RMM that was compiled
38# this way requires Crypto.so plugin to be present for the FVP. This plugin is
39# delivered separate to the FVP, and might not be present in all environments.
40#
41arm_config_option_override(NAME RMM_FPU_USE_AT_REL2 DEFAULT OFF)
42
43#
44# Maximum number of granules supported, enough to cover 2GB of DDR0.
45#
46arm_config_option_override(NAME RMM_MAX_GRANULES DEFAULT 0x80000)
47