soc/arm/st_stm32/stm32mp1/Kconfig.soc

# ST Microelectronics STM32MP1 MPU line

# Copyright (c) 2019 STMicroelectronics
# SPDX-License-Identifier: Apache-2.0

choice
	prompt "STM32MP1 MPU Selection"
	depends on SOC_SERIES_STM32MP1X

config SOC_STM32MP15_M4
	bool "STM32MP15_M4"

endchoice