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_CFLAGS += -DSTM32MP_SHARED_RESOURCES 10 11BL32_SOURCES += drivers/st/etzpc/etzpc.c \ 12 plat/common/aarch32/platform_mp_stack.S \ 13 plat/st/stm32mp1/sp_min/sp_min_setup.c \ 14 plat/st/stm32mp1/stm32mp1_pm.c \ 15 plat/st/stm32mp1/stm32mp1_shared_resources.c \ 16 plat/st/stm32mp1/stm32mp1_topology.c 17 18# Generic GIC v2 19BL32_SOURCES += drivers/arm/gic/common/gic_common.c \ 20 drivers/arm/gic/v2/gicv2_helpers.c \ 21 drivers/arm/gic/v2/gicv2_main.c \ 22 plat/common/plat_gicv2.c \ 23 plat/st/stm32mp1/stm32mp1_gic.c 24 25# Generic PSCI 26BL32_SOURCES += plat/common/plat_psci_common.c 27 28# stm32mp1 specific services 29BL32_SOURCES += plat/st/stm32mp1/services/bsec_svc.c \ 30 plat/st/stm32mp1/services/stm32mp1_svc_setup.c 31