#
# Copyright (c) 2019, ARM Limited. All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
#

# SP_MIN source files specific to A5DS platform
BL32_SOURCES	+=	drivers/cfi/v2m/v2m_flash.c			\
			lib/utils/mem_region.c				\
			lib/aarch32/arm32_aeabi_divmod.c		\
			lib/aarch32/arm32_aeabi_divmod_a32.S		\
			plat/arm/board/a5ds/aarch32/a5ds_helpers.S	\
			plat/arm/board/a5ds/a5ds_pm.c			\
			plat/arm/board/a5ds/a5ds_topology.c		\
			plat/arm/board/a5ds/sp_min/a5ds_sp_min_setup.c	\
			plat/arm/common/sp_min/arm_sp_min_setup.c	\
			plat/common/aarch32/platform_mp_stack.S		\
			plat/common/plat_psci_common.c			\
			${A5DS_CPU_LIBS}				\
			${A5DS_GIC_SOURCES}				\
			${A5DS_SECURITY_SOURCES}