1#
2# SPDX-License-Identifier: BSD-3-Clause
3# SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4#
5
6#
7# Load in the platform based on its source directory.
8#
9
10arm_config_option(
11    NAME RMM_PLATFORM
12    HELP "Platform to build."
13    TYPE PATH
14    DEFAULT "" # Force a configuration failure if unset
15    DEPENDS NOT RMM_PLATFORM
16    ELSE "${RMM_PLATFORM}") # Maintain the value when it's forcibly hidden
17
18set(RMM_PLATFORM_SOURCE_DIR "${CMAKE_SOURCE_DIR}/plat/${RMM_PLATFORM}")
19
20if(NOT EXISTS ${RMM_PLATFORM_SOURCE_DIR})
21    message(FATAL_ERROR "Cannot find ${RMM_PLATFORM_SOURCE_DIR}. Invalid platform specified")
22endif()
23
24#
25# Load in the platform-specific list file.
26#
27
28add_subdirectory("${RMM_PLATFORM_SOURCE_DIR}")
29