1#
2# Copyright (c) 2017-2021, ARM Limited and Contributors. All rights reserved.
3#
4# SPDX-License-Identifier: BSD-3-Clause
5#
6
7ifneq (${SPD},none)
8        $(error "Error: SPD and SPM_MM are incompatible build options.")
9endif
10ifneq (${ARCH},aarch64)
11        $(error "Error: SPM_MM is only supported on aarch64.")
12endif
13
14SPM_MM_SOURCES	:=	$(addprefix services/std_svc/spm/spm_mm/,	\
15			spm_mm_main.c					\
16			spm_mm_common.c					\
17			spm_mm_xlat.c					\
18			spm_mm_setup.c)
19
20
21# Let the top-level Makefile know that we intend to include a BL32 image
22NEED_BL32		:=	yes
23
24# required so that SPM code executing at S-EL0 can access the timer registers
25NS_TIMER_SWITCH		:=	1
26