/*
 * 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

/* Aliases for peripheral base addresses */

/* SIUL2 */
#define IP_SIUL2_0_BASE         IP_SIUL2_BASE

#endif /* _NXP_S32_S32K_SOC_H_ */