| # ST Microelectronics STM32MP1 MCU/MPU line | |
| # Copyright (c) 2019 STMicroelectronics | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if SOC_SERIES_STM32MP1X | |
| source "soc/arm/st_stm32/stm32mp1/Kconfig.defconfig.stm32mp15_m4" | |
| config SOC_SERIES | |
| default "stm32mp1" | |
| config IPM_STM32_IPCC | |
| default y | |
| depends on IPM | |
| endif # SOC_SERIES_STM32MP1X |