27 lines
680 B
Makefile
27 lines
680 B
Makefile
#
|
|
# Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
|
|
#
|
|
# SPDX-License-Identifier: BSD-3-Clause
|
|
#
|
|
|
|
ifneq (${SPD},none)
|
|
$(error "Error: SPD and SPM are incompatible build options.")
|
|
endif
|
|
ifneq (${ARCH},aarch64)
|
|
$(error "Error: SPM is only supported on aarch64.")
|
|
endif
|
|
|
|
SPM_SOURCES := $(addprefix services/std_svc/spm_mm/, \
|
|
${ARCH}/spm_helpers.S \
|
|
${ARCH}/spm_shim_exceptions.S \
|
|
spm_main.c \
|
|
spm_setup.c \
|
|
spm_xlat.c)
|
|
|
|
|
|
# Let the top-level Makefile know that we intend to include a BL32 image
|
|
NEED_BL32 := yes
|
|
|
|
# required so that SPM code executing at S-EL0 can access the timer registers
|
|
NS_TIMER_SWITCH := 1
|