# 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