I stripped down the main to have just the PE_init done and FreeRTOS started, with just two dummy tasks containing a vTaskDelay(1000/portTICK_RATE_MS); in their endless for loop. I can see the RTOS starting fine, I see the two tasks being launched and suspended on the delay. But ...