1 /* 2 * Copyright 2023 NXP 3 * 4 * SPDX-License-Identifier: Apache-2.0 5 */ 6 7 #ifndef _NXP_S32_S32K1_SOC_H_ 8 #define _NXP_S32_S32K1_SOC_H_ 9 10 #include <fsl_port.h> 11 12 #if defined(CONFIG_SOC_S32K116) 13 #include <S32K116.h> 14 #elif defined(CONFIG_SOC_S32K118) 15 #include <S32K118.h> 16 #elif defined(CONFIG_SOC_S32K142) 17 #include <S32K142.h> 18 #elif defined(CONFIG_SOC_S32K142W) 19 #include <S32K142W.h> 20 #elif defined(CONFIG_SOC_S32K144) 21 #include <S32K144.h> 22 #elif defined(CONFIG_SOC_S32K144W) 23 #include <S32K144W.h> 24 #elif defined(CONFIG_SOC_S32K146) 25 #include <S32K146.h> 26 #elif defined(CONFIG_SOC_S32K148) 27 #include <S32K148.h> 28 #else 29 #error "SoC not supported" 30 #endif 31 32 #if defined(CONFIG_CMSIS_RTOS_V2) 33 #include <cmsis_rtos_v2_adapt.h> 34 #endif 35 36 /* GPIO setting for the Port Mux Register */ 37 #define PORT_MUX_GPIO kPORT_MuxAsGpio 38 39 #endif /* _NXP_S32_S32K1_SOC_H_ */ 40
