blob: 656488b8e1229f56a8608064ab88536e3b7b3898 [file] [log] [blame]
Antonio Nino Diaz8cd7ea32018-10-30 11:08:08 +00001#
Paul Beesley72f9ec62019-10-15 14:20:34 +00002# Copyright (c) 2017-2019, ARM Limited and Contributors. All rights reserved.
Antonio Nino Diaz8cd7ea32018-10-30 11:08:08 +00003#
4# SPDX-License-Identifier: BSD-3-Clause
5#
6
7ifneq (${SPD},none)
Paul Beesley72f9ec62019-10-15 14:20:34 +00008 $(error "Error: SPD and SPM_MM are incompatible build options.")
Antonio Nino Diaz8cd7ea32018-10-30 11:08:08 +00009endif
10ifneq (${ARCH},aarch64)
Paul Beesley72f9ec62019-10-15 14:20:34 +000011 $(error "Error: SPM_MM is only supported on aarch64.")
Antonio Nino Diaz8cd7ea32018-10-30 11:08:08 +000012endif
13
Antonio Nino Diaz8338d362019-01-21 11:52:57 +000014SPM_SOURCES := $(addprefix services/std_svc/spm_mm/, \
Paul Beesley49cabec2019-10-15 16:14:14 +000015 ${ARCH}/spm_mm_helpers.S \
16 ${ARCH}/spm_mm_shim_exceptions.S \
Paul Beesleye449d6a2019-10-15 16:13:10 +000017 spm_mm_main.c \
18 spm_mm_setup.c \
19 spm_mm_xlat.c)
Antonio Nino Diaz8cd7ea32018-10-30 11:08:08 +000020
21
22# Let the top-level Makefile know that we intend to include a BL32 image
23NEED_BL32 := yes
Ard Biesheuvel923cd772019-01-01 11:01:41 +010024
25# required so that SPM code executing at S-EL0 can access the timer registers
26NS_TIMER_SWITCH := 1