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 19include drivers/arm/gic/v2/gicv2.mk 20 21BL32_SOURCES += ${GICV2_SOURCES} \ 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# SCMI server drivers 29BL32_SOURCES += drivers/scmi-msg/base.c \ 30 drivers/scmi-msg/clock.c \ 31 drivers/scmi-msg/entry.c \ 32 drivers/scmi-msg/reset_domain.c \ 33 drivers/scmi-msg/smt.c 34 35# stm32mp1 specific services 36BL32_SOURCES += plat/st/stm32mp1/services/bsec_svc.c \ 37 plat/st/stm32mp1/services/stm32mp1_svc_setup.c \ 38 plat/st/stm32mp1/stm32mp1_scmi.c 39 40# Arm Archtecture services 41BL32_SOURCES += services/arm_arch_svc/arm_arch_svc_setup.c 42