1 /*
2  * Copyright (c) 2023 Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef BOARDS_POSIX_NATIVE_SIM_TIMER_MODEL_H
8 #define BOARDS_POSIX_NATIVE_SIM_TIMER_MODEL_H
9 
10 /*
11  * To support the native_posix timer driver
12  * we provide a header with the same name as in native_posix
13  */
14 #include "nsi_hw_scheduler.h"
15 #include "nsi_timer_model.h"
16 #include "native_posix_compat.h"
17 
18 #endif /* BOARDS_POSIX_NATIVE_SIM_TIMER_MODEL_H */
19