Richard Barry 87f663a461 Correct #if( configMAX_PRIORITIES >= 32 ) check performed when configUSE_PORT_OPTIMISED_TASK_SELECTION == 1 to instead be #if( configMAX_PRIORITIES > 32 ).		2012-09-24 12:10:08 +00:00
..
port.c	Put comments in the code that give a reference to people who think that setting BASE_PRI to zero is the wrong thing to to in an ISR.	2012-08-14 13:04:22 +00:00
portmacro.h	Correct #if( configMAX_PRIORITIES >= 32 ) check performed when configUSE_PORT_OPTIMISED_TASK_SELECTION == 1 to instead be #if( configMAX_PRIORITIES > 32 ).	2012-09-24 12:10:08 +00:00