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