I am running the hello2 example project and the idle task is not running, so when the 2 tasks in the example both block, the CPU goes to an dead loop with the comment
/* woohoo, idle task must be enabled, this point cannot be reachable, you have serious problem */
I have MQX_USE_IDLE_TASK set to 1 in my user_config.h
I can follow the pointer kernel_data->IDLE_LOOP and see the code for _mqx_idle_task() is in memory, but that code never runs.
Any ideas?