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 += 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 14BL32_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 21BL32_SOURCES += plat/common/plat_psci_common.c 22 23# stm32mp1 specific services 24BL32_SOURCES += plat/st/stm32mp1/services/bsec_svc.c \ 25 plat/st/stm32mp1/services/stm32mp1_svc_setup.c 26