1 /* 2 * Copyright (c) 2017-2019, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef BOARD_DEF_H 8 #define BOARD_DEF_H 9 10 #include <lib/utils_def.h> 11 12 /* The ports must be in order and contiguous */ 13 #define K3_CLUSTER0_CORE_COUNT U(2) 14 #define K3_CLUSTER1_CORE_COUNT U(2) 15 #define K3_CLUSTER2_CORE_COUNT U(2) 16 #define K3_CLUSTER3_CORE_COUNT U(2) 17 18 /* 19 * This RAM will be used for the bootloader including code, bss, and stacks. 20 * It may need to be increased if BL31 grows in size. 21 * 22 * The link addresses are determined by SEC_SRAM_BASE + offset. 23 * When ENABLE_PIE is set, the TF images can be loaded anywhere, so 24 * SEC_SRAM_BASE is really arbitrary. 25 * 26 * When ENABLE_PIE is unset, SEC_SRAM_BASE should be chosen so that 27 * it matches to the physical address where BL31 is loaded, that is, 28 * SEC_SRAM_BASE should be the base address of the RAM region. 29 * 30 * Lets make things explicit by mapping SRAM_BASE to 0x0 since ENABLE_PIE is 31 * defined as default for our platform. 32 */ 33 #define SEC_SRAM_BASE UL(0x00000000) /* PIE remapped on fly */ 34 #define SEC_SRAM_SIZE UL(0x00020000) /* 128k */ 35 36 #define PLAT_MAX_OFF_STATE U(2) 37 #define PLAT_MAX_RET_STATE U(1) 38 39 #define PLAT_PROC_START_ID U(32) 40 #define PLAT_PROC_DEVICE_START_ID U(202) 41 #define PLAT_CLUSTER_DEVICE_START_ID U(198) 42 43 #endif /* BOARD_DEF_H */ 44