| Achin Gupta | 86f2353 | 2019-10-11 15:41:16 +0100 | [diff] [blame^] | 1 | # |
| 2 | # Copyright (c) 2020, ARM Limited and Contributors. All rights reserved. |
| 3 | # |
| 4 | # SPDX-License-Identifier: BSD-3-Clause |
| 5 | # |
| 6 | |
| 7 | ifneq (${ARCH},aarch64) |
| 8 | $(error "Error: SPMD is only supported on aarch64.") |
| 9 | endif |
| 10 | |
| 11 | SPMD_SOURCES += $(addprefix services/std_svc/spmd/, \ |
| 12 | ${ARCH}/spmd_helpers.S \ |
| 13 | spmd_main.c) |
| 14 | |
| 15 | # Let the top-level Makefile know that we intend to include a BL32 image |
| 16 | NEED_BL32 := yes |
| 17 | |
| 18 | # Enable dynamic memory mapping |
| 19 | # The SPMD component maps the SPMC DTB within BL31 virtual space. |
| 20 | PLAT_XLAT_TABLES_DYNAMIC := 1 |
| 21 | $(eval $(call add_define,PLAT_XLAT_TABLES_DYNAMIC)) |