1 /*
2  * Copyright (c) 2020-2022, 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 #define PLAT_PROC_START_ID		U(32)
19 #define PLAT_PROC_DEVICE_START_ID	U(135)
20 #define PLAT_CLUSTER_DEVICE_START_ID	U(134)
21 #define PLAT_BOARD_DEVICE_ID		U(157)
22 
23 #endif /* BOARD_DEF_H */
24