| # | |
| # Copyright (c) 2015, ARM Limited and Contributors. All rights reserved. | |
| # | |
| # SPDX-License-Identifier: BSD-3-Clause | |
| # | |
| # TSP source files common to ARM standard platforms | |
| BL32_SOURCES += plat/arm/common/arm_topology.c \ | |
| plat/arm/common/tsp/arm_tsp_setup.c \ | |
| plat/common/aarch64/platform_mp_stack.S |