void _gtimerInit(void)
{
gfxSemInit(&waitsem, 0, 1);
gfxMutexInit(&mutex);
ticks2ms = gfxMillisecondsToTicks(1);
}
void _gwmInit(void) {
gfxMutexInit(&gmutex);
}
void _gosInit(void)
{
/* No initialization of the operating system itself is needed */
gfxMutexInit(&SystemMutex);
}
void _geventInit(void)
{
gfxMutexInit(&geventMutex);
}
