1# 2# Copyright (c) 2017-2019, ARM Limited and Contributors. All rights reserved. 3# 4# SPDX-License-Identifier: BSD-3-Clause 5# 6 7SP_MIN_WITH_SECURE_FIQ := 1 8 9BL32_SOURCES += drivers/st/etzpc/etzpc.c \ 10 plat/common/aarch32/platform_mp_stack.S \ 11 plat/st/stm32mp1/sp_min/sp_min_setup.c \ 12 plat/st/stm32mp1/stm32mp1_pm.c \ 13 plat/st/stm32mp1/stm32mp1_topology.c 14 15# Generic GIC v2 16BL32_SOURCES += drivers/arm/gic/common/gic_common.c \ 17 drivers/arm/gic/v2/gicv2_helpers.c \ 18 drivers/arm/gic/v2/gicv2_main.c \ 19 plat/common/plat_gicv2.c \ 20 plat/st/stm32mp1/stm32mp1_gic.c 21 22# Generic PSCI 23BL32_SOURCES += plat/common/plat_psci_common.c 24 25# stm32mp1 specific services 26BL32_SOURCES += plat/st/stm32mp1/services/bsec_svc.c \ 27 plat/st/stm32mp1/services/stm32mp1_svc_setup.c 28