1#
2# Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
3# Copyright (c) 2020, NVIDIA Corporation. All rights reserved.
4#
5# SPDX-License-Identifier: BSD-3-Clause
6#
7
8TZDRAM_BASE			:= 0xF5C00000
9$(eval $(call add_define,TZDRAM_BASE))
10
11PLATFORM_CLUSTER_COUNT		:= 1
12$(eval $(call add_define,PLATFORM_CLUSTER_COUNT))
13
14PLATFORM_MAX_CPUS_PER_CLUSTER	:= 2
15$(eval $(call add_define,PLATFORM_MAX_CPUS_PER_CLUSTER))
16
17MAX_XLAT_TABLES			:= 3
18$(eval $(call add_define,MAX_XLAT_TABLES))
19
20MAX_MMAP_REGIONS		:= 8
21$(eval $(call add_define,MAX_MMAP_REGIONS))
22
23# platform files
24PLAT_INCLUDES		+=	-Iplat/nvidia/tegra/include/t132
25
26BL31_SOURCES		+=	${TEGRA_GICv2_SOURCES}			\
27				drivers/ti/uart/aarch64/16550_console.S	\
28				lib/cpus/aarch64/denver.S		\
29				${TEGRA_DRIVERS}/flowctrl/flowctrl.c	\
30				${TEGRA_DRIVERS}/memctrl/memctrl_v1.c	\
31				${TEGRA_DRIVERS}/pmc/pmc.c		\
32				${SOC_DIR}/plat_psci_handlers.c		\
33				${SOC_DIR}/plat_sip_calls.c		\
34				${SOC_DIR}/plat_setup.c			\
35				${SOC_DIR}/plat_secondary.c
36