| 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 | |
| Antonio Nino Diaz | 8338d36 | 2019-01-21 11:52:57 +0000 | [diff] [blame] | 14 | SPM_SOURCES := $(addprefix services/std_svc/spm_mm/, \ |
| Antonio Nino Diaz | 8cd7ea3 | 2018-10-30 11:08:08 +0000 | [diff] [blame] | 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 |
| Ard Biesheuvel | 923cd77 | 2019-01-01 11:01:41 +0100 | [diff] [blame] | 24 | |
| 25 | # required so that SPM code executing at S-EL0 can access the timer registers |
| 26 | NS_TIMER_SWITCH := 1 |