
#include "FreeRTOS.h"
// function declarations
void xInitRTOS(void);
void xInitQueues(void);
void xInitTimers(void);
void xInitTCBs(void);

void xInitRTOS(void)
{
    xInitQueues();
#if ( configUSE_TIMERS == 1 )
    xInitTimers();
#endif
    xInitTCBs();
}