if ARCH_STM32MP

config ARCH_NR_GPIO
	int
	default 416

config ARCH_STM32MP157
	select ARM_PSCI_CLIENT
	bool

config MACH_STM32MP157C_DK2
	select ARCH_STM32MP157
	bool "STM32MP157C-DK2 board"

endif