# NXP S32K1XX MCU series

# Copyright 2023 NXP
# SPDX-License-Identifier: Apache-2.0

if SOC_SERIES_S32K1XX

config SOC_SERIES
	default "s32k1"

config SYS_CLOCK_HW_CYCLES_PER_SEC
	default 80000000

config NUM_IRQS
	default 239 if CPU_CORTEX_M4
	default 47 if CPU_CORTEX_M0PLUS

if !XIP
config FLASH_SIZE
	default 0
config FLASH_BASE_ADDRESS
	default 0
endif

# The S32K1xx have 8 MPU regions, which is not enough for both HW stack protection
# and userspace. Only enable HW stack protection if userspace is not enabled.
config HW_STACK_PROTECTION
	default y if !USERSPACE

source "soc/arm/nxp_s32/s32k1/Kconfig.defconfig.s32k1*"

endif # SOC_SERIES_S32K1XX