1# NXP S32K1XX MCU series
2
3# Copyright 2023-2024 NXP
4# SPDX-License-Identifier: Apache-2.0
5
6if SOC_SERIES_S32K1
7
8config SYS_CLOCK_HW_CYCLES_PER_SEC
9	default $(dt_node_int_prop_int,/cpus/cpu@0,clock-frequency) if CORTEX_M_SYSTICK
10
11config NUM_IRQS
12	default 239 if CPU_CORTEX_M4
13	default 47 if CPU_CORTEX_M0PLUS
14
15config FPU
16	default y if CPU_HAS_FPU
17
18# The S32K1xx have 8 MPU regions, which is not enough for both HW stack protection
19# and userspace. Only enable HW stack protection if userspace is not enabled.
20config HW_STACK_PROTECTION
21	default y if !USERSPACE
22
23endif # SOC_SERIES_S32K1
24