1# Copyright (c) 2021 Linaro Limited
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_SERIES_MPS3
5
6config SYS_CLOCK_HW_CYCLES_PER_SEC
7	default 25000000
8
9rsource "Kconfig.defconfig.mps3*"
10
11endif # SOC_SERIES_MPS3
12