| /* | |
| * Copyright 2023 NXP | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #ifndef _NXP_S32_S32K_SOC_H_ | |
| #define _NXP_S32_S32K_SOC_H_ | |
| #include <S32K344.h> | |
| #include <core_cm7.h> | |
| #if defined(CONFIG_CMSIS_RTOS_V2) | |
| #include <cmsis_rtos_v2_adapt.h> | |
| #endif | |
| #endif /* _NXP_S32_S32K_SOC_H_ */ |