| # |
| # Copyright (c) 2017-2019, ARM Limited and Contributors. All rights reserved. |
| # |
| # SPDX-License-Identifier: BSD-3-Clause |
| # |
| |
| SP_MIN_WITH_SECURE_FIQ := 1 |
| |
| BL32_SOURCES += drivers/st/etzpc/etzpc.c \ |
| plat/common/aarch32/platform_mp_stack.S \ |
| plat/st/stm32mp1/sp_min/sp_min_setup.c \ |
| plat/st/stm32mp1/stm32mp1_pm.c \ |
| plat/st/stm32mp1/stm32mp1_topology.c |
| |
| # Generic GIC v2 |
| BL32_SOURCES += drivers/arm/gic/common/gic_common.c \ |
| drivers/arm/gic/v2/gicv2_helpers.c \ |
| drivers/arm/gic/v2/gicv2_main.c \ |
| plat/common/plat_gicv2.c \ |
| plat/st/stm32mp1/stm32mp1_gic.c |
| |
| # Generic PSCI |
| BL32_SOURCES += plat/common/plat_psci_common.c |
| |
| # stm32mp1 specific services |
| BL32_SOURCES += plat/st/stm32mp1/services/bsec_svc.c \ |
| plat/st/stm32mp1/services/stm32mp1_svc_setup.c |
| |
| # Arm Archtecture services |
| BL32_SOURCES += services/arm_arch_svc/arm_arch_svc_setup.c |