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

if SOC_SERIES_MPS2

config SOC_SERIES
	default mps2

config NUM_IRQ_PRIO_BITS
	int
	default 3

config SYS_CLOCK_HW_CYCLES_PER_SEC
	int
	default 25000000

config SRAM_BASE_ADDRESS
	default 0x20000000

config SRAM_SIZE
	default 4096

config FLASH_BASE_ADDRESS
	default 0x00000000

config FLASH_SIZE
	default 4096

source "arch/arm/soc/arm/mps2/Kconfig.defconfig.mps2*"

endif # SOC_SERIES_MPS2