comment configTIMER_TASK_PRIORITY > WSF_DISPATCHER_TASK_PRIORITY

Author: khpeterson

Libraries/Cordio/wsf/sources/targets/freertos/wsf_timer.c

@@ -41,6 +41,9 @@
 #error Enable timers in FreeRTOSConfig.h by definiing configUSE_TIMERS as 1
 #endif
 
+/* assuming WSF_DISPATCHER_TASK_PRIORITY is configMAX_PRIORITIES - 3 =>
+ * require configTIMER_TASK_PRIORITY higher at configMAX_PRIORITIES - 2
+ */
 #if (configTIMER_TASK_PRIORITY != (configMAX_PRIORITIES - 2))
 #error "Timer task priority must be set to configMAX_PRIORITIES - 2 in FreeRTOSConfig.h"
 #endif