| Antonio Nino Diaz | 8cd7ea3 | 2018-10-30 11:08:08 +0000 | [diff] [blame] | 1 | # |
| 2 | # Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. |
| 3 | # |
| 4 | # SPDX-License-Identifier: BSD-3-Clause |
| 5 | # |
| 6 | |
| 7 | ifneq (${SPD},none) |
| 8 | $(error "Error: SPD and SPM are incompatible build options.") |
| 9 | endif |
| 10 | ifneq (${ARCH},aarch64) |
| 11 | $(error "Error: SPM is only supported on aarch64.") |
| 12 | endif |
| 13 | |
| 14 | SPM_SOURCES := $(addprefix services/std_svc/spm_deprecated/, \ |
| 15 | ${ARCH}/spm_helpers.S \ |
| 16 | ${ARCH}/spm_shim_exceptions.S \ |
| 17 | spm_main.c \ |
| Antonio Nino Diaz | 73085f6 | 2018-11-15 08:57:18 +0000 | [diff] [blame] | 18 | spm_setup.c \ |
| 19 | spm_xlat.c) |
| Antonio Nino Diaz | 8cd7ea3 | 2018-10-30 11:08:08 +0000 | [diff] [blame] | 20 | |
| 21 | |
| 22 | # Let the top-level Makefile know that we intend to include a BL32 image |
| 23 | NEED_BL32 := yes |