| # Copyright (c) 2021 Linaro Limited | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if SOC_SERIES_MPS3 | |
| config SOC_SERIES | |
| default "mps3" | |
| config SYS_CLOCK_HW_CYCLES_PER_SEC | |
| default 25000000 | |
| source "soc/arm/arm/mps3/Kconfig.defconfig.mps3*" | |
| endif # SOC_SERIES_MPS3 |