1# 2# Copyright (c) 2017-2019, 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_SOURCES := $(addprefix services/std_svc/spm_mm/, \ 15 ${ARCH}/spm_mm_helpers.S \ 16 ${ARCH}/spm_mm_shim_exceptions.S \ 17 spm_mm_main.c \ 18 spm_mm_setup.c \ 19 spm_mm_xlat.c) 20 21 22# Let the top-level Makefile know that we intend to include a BL32 image 23NEED_BL32 := yes 24 25# required so that SPM code executing at S-EL0 can access the timer registers 26NS_TIMER_SWITCH := 1 27