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