| Yann Gautier | 9d135e4 | 2018-07-16 19:36:06 +0200 | [diff] [blame] | 1 | # |
| Yann Gautier | 05be8d8 | 2019-01-17 14:51:25 +0100 | [diff] [blame] | 2 | # Copyright (c) 2017-2019, ARM Limited and Contributors. All rights reserved. |
| Yann Gautier | 9d135e4 | 2018-07-16 19:36:06 +0200 | [diff] [blame] | 3 | # |
| 4 | # SPDX-License-Identifier: BSD-3-Clause |
| 5 | # |
| 6 | |
| 7 | SP_MIN_WITH_SECURE_FIQ := 1 |
| 8 | |
| Etienne Carriere | e96162e | 2020-04-10 11:32:54 +0200 | [diff] [blame] | 9 | BL32_SOURCES += drivers/st/etzpc/etzpc.c \ |
| 10 | plat/common/aarch32/platform_mp_stack.S \ |
| Yann Gautier | 9d135e4 | 2018-07-16 19:36:06 +0200 | [diff] [blame] | 11 | plat/st/stm32mp1/sp_min/sp_min_setup.c \ |
| 12 | plat/st/stm32mp1/stm32mp1_pm.c \ |
| 13 | plat/st/stm32mp1/stm32mp1_topology.c |
| Etienne Carriere | e96162e | 2020-04-10 11:32:54 +0200 | [diff] [blame] | 14 | |
| Yann Gautier | 9d135e4 | 2018-07-16 19:36:06 +0200 | [diff] [blame] | 15 | # Generic GIC v2 |
| 16 | BL32_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 |
| 23 | BL32_SOURCES += plat/common/plat_psci_common.c |
| Yann Gautier | 05be8d8 | 2019-01-17 14:51:25 +0100 | [diff] [blame] | 24 | |
| 25 | # stm32mp1 specific services |
| Yann Gautier | 52448ab | 2019-01-17 14:53:24 +0100 | [diff] [blame] | 26 | BL32_SOURCES += plat/st/stm32mp1/services/bsec_svc.c \ |
| 27 | plat/st/stm32mp1/services/stm32mp1_svc_setup.c |