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