/*
 * Copyright (c) 2023 Nordic Semiconductor ASA
 *
 * SPDX-License-Identifier: Apache-2.0
 */
#ifndef HW_MODELS_CORE_CM33_H
#define HW_MODELS_CORE_CM33_H

#include "core_cm4.h"


#endif /* HW_MODELS_CORE_CM33_H */