1234567891011121314151617181920212223 |
- /*
- * Copyright (c) 2020-2022, ARM Limited and Contributors. All rights reserved.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
- #ifndef BOARD_DEF_H
- #define BOARD_DEF_H
- #include <lib/utils_def.h>
- /* The ports must be in order and contiguous */
- #define K3_CLUSTER0_CORE_COUNT U(4)
- #define K3_CLUSTER1_CORE_COUNT U(0)
- #define K3_CLUSTER2_CORE_COUNT U(0)
- #define K3_CLUSTER3_CORE_COUNT U(0)
- #define PLAT_PROC_START_ID U(32)
- #define PLAT_PROC_DEVICE_START_ID U(135)
- #define PLAT_CLUSTER_DEVICE_START_ID U(134)
- #define PLAT_BOARD_DEVICE_ID U(157)
- #endif /* BOARD_DEF_H */
|