| # 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 |