| Yann Gautier | 9d135e4 | 2018-07-16 19:36:06 +0200 | [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 | SP_MIN_WITH_SECURE_FIQ := 1 |
| 8 | |
| 9 | BL32_SOURCES += plat/common/aarch32/platform_mp_stack.S \ |
| 10 | plat/st/stm32mp1/sp_min/sp_min_setup.c \ |
| 11 | plat/st/stm32mp1/stm32mp1_pm.c \ |
| 12 | plat/st/stm32mp1/stm32mp1_topology.c |
| 13 | # Generic GIC v2 |
| 14 | BL32_SOURCES += drivers/arm/gic/common/gic_common.c \ |
| 15 | drivers/arm/gic/v2/gicv2_helpers.c \ |
| 16 | drivers/arm/gic/v2/gicv2_main.c \ |
| 17 | plat/common/plat_gicv2.c \ |
| 18 | plat/st/stm32mp1/stm32mp1_gic.c |
| 19 | |
| 20 | # Generic PSCI |
| 21 | BL32_SOURCES += plat/common/plat_psci_common.c |