| Antonio Nino Diaz | c41f206 | 2017-10-24 10:07:35 +0100 | [diff] [blame] | 1 | # |
| Antonio Nino Diaz | 2ac9a44 | 2018-05-23 11:40:46 +0100 | [diff] [blame] | 2 | # Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. |
| Antonio Nino Diaz | c41f206 | 2017-10-24 10:07:35 +0100 | [diff] [blame] | 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 | |
| Antonio Nino Diaz | c41f206 | 2017-10-24 10:07:35 +0100 | [diff] [blame] | 14 | SPM_SOURCES := $(addprefix services/std_svc/spm/, \ |
| Antonio Nino Diaz | c41f206 | 2017-10-24 10:07:35 +0100 | [diff] [blame] | 15 | ${ARCH}/spm_helpers.S \ |
| Antonio Nino Diaz | 2ac9a44 | 2018-05-23 11:40:46 +0100 | [diff] [blame] | 16 | ${ARCH}/spm_shim_exceptions.S \ |
| 17 | spm_main.c \ |
| Antonio Nino Diaz | 7b28b54 | 2018-05-22 16:45:35 +0100 | [diff] [blame] | 18 | sp_setup.c \ |
| 19 | sp_xlat.c) |
| Antonio Nino Diaz | c41f206 | 2017-10-24 10:07:35 +0100 | [diff] [blame] | 20 | |
| 21 | |
| 22 | # Let the top-level Makefile know that we intend to include a BL32 image |
| 23 | NEED_BL32 := yes |