1# NXP S32K3XX MCU series
2
3# Copyright 2023-2024 NXP
4# SPDX-License-Identifier: Apache-2.0
5
6if SOC_SERIES_S32K3
7
8config SYS_CLOCK_HW_CYCLES_PER_SEC
9	default 2000000
10
11config NUM_IRQS
12	# must be >= the highest interrupt number used
13	default 239
14
15config FPU
16	default y
17
18if ETH_DRIVER && NET_L2_ETHERNET
19
20config NET_TCP_CHECKSUM
21	default n
22
23config NET_UDP_CHECKSUM
24	default n
25
26endif # ETH_DRIVER && NET_L2_ETHERNET
27
28config CACHE_MANAGEMENT
29	default y
30
31endif # SOC_SERIES_S32K3
32