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

#ifndef BOARDS_POSIX_NATIVE_SIM_TIMER_MODEL_H
#define BOARDS_POSIX_NATIVE_SIM_TIMER_MODEL_H

/*
 * To support the native_posix timer driver
 * we provide a header with the same name as in native_posix
 */
#include "nsi_hw_scheduler.h"
#include "nsi_timer_model.h"
#include "native_posix_compat.h"

#endif /* BOARDS_POSIX_NATIVE_SIM_TIMER_MODEL_H */
