rtel wrote on Tuesday, September 02, 2014:
Thank you for reporting this problem. Please try opening FreeRTOS.h, and finding the lines:
#ifndef configUSE_PORT_OPTIMISED_TASK_SELECTION
	#define configUSE_PORT_OPTIMISED_TASK_SELECTION 1
#endif
and change the 1 to a 0.
That fixes the problem for me. The default of one will have to move into individual port layers.
Regards.