1#-------------------------------------------------------------------------------
2# Copyright (c) 2020, Arm Limited. All rights reserved.
3# Copyright (c) 2022 Cypress Semiconductor Corporation (an Infineon company)
4# or an affiliate of Cypress Semiconductor Corporation. All rights reserved.
5#
6# SPDX-License-Identifier: BSD-3-Clause
7#
8#-------------------------------------------------------------------------------
9
10if(BL2)
11    set(BL2_TRAILER_SIZE 0x800 CACHE STRING "Trailer size")
12else()
13    #No header if no bootloader, but keep IMAGE_CODE_SIZE the same
14    set(BL2_TRAILER_SIZE 0xC00 CACHE STRING "Trailer size")
15endif()
16
17set(PLATFORM_DEFAULT_SYSTEM_RESET_HALT OFF   CACHE BOOL    "Use default system reset/halt implementation")
18
19# Platform-specific configurations
20set(CONFIG_TFM_USE_TRUSTZONE           ON)
21set(TFM_MULTI_CORE_TOPOLOGY            OFF)
22