Hi Gaurav,
thank you for your support, your explanation and this recommendation / workaround. It works fine.
@rtel my FreeRTOSConfig.h is in this previous comment.
But I am not using configPORT_OPTIMISED_TASK_SELECTION and I can’t find it neither in the source code of FreeRTOS nor in the documentation. What is it?
Best regards and thanks for this real Open Source, well designed and rock solid real time scheduler,
Stefano