| # | |
| # Copyright (c) 2017 Linaro Limited | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # | |
| if SOC_SERIES_MPS2 | |
| config SOC_SERIES | |
| default mps2 | |
| config SYS_CLOCK_HW_CYCLES_PER_SEC | |
| int | |
| default 25000000 | |
| source "arch/arm/soc/arm/mps2/Kconfig.defconfig.mps2*" | |
| endif # SOC_SERIES_MPS2 |