Hi, I'm running into problems with freertos tickless demo on kw45 SDK.
I downloaded the latest SDK SDK_2.12.2_KW45B41Z83xxxA. After I import and build the demo kw45b41zevk_freertos_tickless, I flashed it to my kw45 devkit and connected to serial console with 115200 baud rate. Given that the freertosconfig.h sets tick rate to be 1000, I expected to see the console getting updated every 5 seconds with the tick value based on this task.
#############
static void Tickless_task(void *pvParameters)
{
for (;;)
{
PRINTF("%d\r\n", xTaskGetTickCount());
vTaskDelay(pdMS_TO_TICKS(TIME_DELAY_SLEEP));
}
}
#############
However, what I actually observed on the project is that the console gets updated much faster than every 5 seconds.
Am I using a wrong example / interpreting things incorrectly or is this example project actually broken? Can I get some clarification on this?
