cx-zivuos/headers/zivuos/platform.h

#ifndef CX_ZIVUOS_PLATFORM_H_INCLUDED
#define CX_ZIVUOS_PLATFORM_H_INCLUDED

/**
 * @brief That initialize plarform for ZivuOS.
 *
 * That do initialization of the platform required for ZivuOS to property 
 * work. A lot of initialization process touches SysTick, which is used to
 * generate software timers.
 */
void zv_platform_init(void);

/** 
 * That return time of the system in miliseconds. That is 32 or 64 bit
 * number, used in software timers. It is low-level ZivuOS function, 
 * use API functions to get time of the system.
 *
 * @return Time of the system in miliseconds.
 */
zv_time_t __zv_platform_get_time_ms(void);

/**
 * That return time of the system in microseconds. That is 32 bit number
 * and it could return to zero after +/- 100 seconds. Use API functions
 * to generate small delays.
 * 
 * @return Time of the system in microseconds.
 */
zv_ticks_t __zv_platform_get_time_us(void);

#endif