35 lines
1004 B
Makefile
35 lines
1004 B
Makefile
#
|
|
# Copyright (c) 2017-2022, ARM Limited and Contributors. All rights reserved.
|
|
#
|
|
# SPDX-License-Identifier: BSD-3-Clause
|
|
#
|
|
|
|
ifneq (${SPD},none)
|
|
$(error "Error: SPD and SPM_MM are incompatible build options.")
|
|
endif
|
|
ifneq (${ARCH},aarch64)
|
|
$(error "Error: SPM_MM is only supported on aarch64.")
|
|
endif
|
|
ifeq (${ENABLE_SVE_FOR_NS},1)
|
|
$(error "Error: SPM_MM is not compatible with ENABLE_SVE_FOR_NS")
|
|
endif
|
|
ifeq (${ENABLE_SME_FOR_NS},1)
|
|
$(error "Error: SPM_MM is not compatible with ENABLE_SME_FOR_NS")
|
|
endif
|
|
ifeq (${CTX_INCLUDE_FPREGS},0)
|
|
$(warning "Warning: SPM_MM: CTX_INCLUDE_FPREGS is set to 0")
|
|
endif
|
|
|
|
SPM_MM_SOURCES := $(addprefix services/std_svc/spm/spm_mm/, \
|
|
${ARCH}/spm_mm_shim_exceptions.S \
|
|
spm_mm_main.c \
|
|
spm_mm_setup.c \
|
|
spm_mm_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
|