1#
2# Copyright (c) 2013-2019, ARM Limited and Contributors. All rights reserved.
3#
4# SPDX-License-Identifier: BSD-3-Clause
5#
6
7INCLUDES		+=	-Iinclude/bl32/tsp
8
9BL32_SOURCES		+=	bl32/tsp/tsp_main.c			\
10				bl32/tsp/ffa_helpers.c			\
11				bl32/tsp/aarch64/tsp_entrypoint.S	\
12				bl32/tsp/aarch64/tsp_exceptions.S	\
13				bl32/tsp/aarch64/tsp_request.S		\
14				bl32/tsp/tsp_interrupt.c		\
15				bl32/tsp/tsp_timer.c			\
16				common/aarch64/early_exceptions.S	\
17				lib/locks/exclusive/aarch64/spinlock.S
18
19BL32_LINKERFILE		:=	bl32/tsp/tsp.ld.S
20
21# This flag determines if the TSPD initializes BL32 in tspd_init() (synchronous
22# method) or configures BL31 to pass control to BL32 instead of BL33
23# (asynchronous method).
24TSP_INIT_ASYNC         :=      0
25
26$(eval $(call assert_boolean,TSP_INIT_ASYNC))
27$(eval $(call add_define,TSP_INIT_ASYNC))
28
29# Include the platform-specific TSP Makefile
30# If no platform-specific TSP Makefile exists, it means TSP is not supported
31# on this platform.
32TSP_PLAT_MAKEFILE := $(wildcard ${PLAT_DIR}/tsp/tsp-${PLAT}.mk)
33ifeq (,${TSP_PLAT_MAKEFILE})
34  $(error TSP is not supported on platform ${PLAT})
35else
36  include ${TSP_PLAT_MAKEFILE}
37endif
38