# Copyright (c) 2017 Linaro Limited
# SPDX-License-Identifier: Apache-2.0

if SOC_SERIES_MPS2

config SYS_CLOCK_HW_CYCLES_PER_SEC
	default 25000000

rsource "Kconfig.defconfig.*"

endif # SOC_SERIES_MPS2