| # |
| # 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 |
