#pragma once

#include <stdint.h>


#ifdef __cplusplus
extern "C" {
#endif

/* Initialize OS helpers
 * Configure and start tick timer
 */
void api_hal_os_init();

#ifdef __cplusplus
}
#endif