# STMicroelectronics STM32MP1 MCU/MPU line

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

if SOC_SERIES_STM32MP1X

rsource "Kconfig.defconfig.stm32mp15_m4"

endif # SOC_SERIES_STM32MP1X