1 /* 2 * Copyright (c) 2020, 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(4) 14 #define K3_CLUSTER1_CORE_COUNT U(0) 15 #define K3_CLUSTER2_CORE_COUNT U(0) 16 #define K3_CLUSTER3_CORE_COUNT U(0) 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 * Current computation assumes data structures necessary for GIC and ARM for 22 * a single cluster of 4 processor. 23 */ 24 #define SEC_SRAM_BASE UL(0x70000000) /* Base of SRAM */ 25 #define SEC_SRAM_SIZE UL(0x0001c000) /* 112k */ 26 27 #define PLAT_MAX_OFF_STATE U(2) 28 #define PLAT_MAX_RET_STATE U(1) 29 30 #define PLAT_PROC_START_ID U(32) 31 #define PLAT_PROC_DEVICE_START_ID U(135) 32 #define PLAT_CLUSTER_DEVICE_START_ID U(134) 33 34 #endif /* BOARD_DEF_H */ 35