1 # SPDX-License-Identifier: GPL-2.0+
3 # Copyright (C) 2018, STMicroelectronics - All Rights Reserved
10 ifdef CONFIG_SPL_BUILD
14 obj-$(CONFIG_CMD_STM32KEY) += cmd_stm32key.o
15 ifndef CONFIG_STM32MP1_TRUSTED
16 obj-$(CONFIG_SYSRESET) += cmd_poweroff.o
19 obj-$(CONFIG_ARMV7_PSCI) += psci.o
20 obj-$(CONFIG_$(SPL_)DM_REGULATOR) += pwr_regulator.o
21 obj-$(CONFIG_OF_SYSTEM_SETUP) += fdt.o