# NXP S32K3XX MCU series | |
# Copyright 2023-2024 NXP | |
# SPDX-License-Identifier: Apache-2.0 | |
if SOC_SERIES_S32K3 | |
config SYS_CLOCK_HW_CYCLES_PER_SEC | |
default 2000000 | |
config NUM_IRQS | |
# must be >= the highest interrupt number used | |
default 239 | |
config FPU | |
default y | |
if !XIP | |
config FLASH_SIZE | |
default 0 | |
config FLASH_BASE_ADDRESS | |
default 0 | |
endif | |
if NET_L2_ETHERNET | |
config NET_TCP_CHECKSUM | |
default n | |
config NET_UDP_CHECKSUM | |
default n | |
endif # NET_L2_ETHERNET | |
config CACHE_MANAGEMENT | |
default y | |
endif # SOC_SERIES_S32K3 |