#define configMAX_PRIORITIES ( ( unsigned portBASE_TYPE ) 7 )\r
#define configMAX_CO_ROUTINE_PRIORITIES ( 2 )\r
\r
+/* Software timer definitions. */\r
+#define configUSE_TIMERS 1\r
+#define configTIMER_TASK_PRIORITY ( 3 )\r
+#define configTIMER_QUEUE_LENGTH 5\r
+#define configTIMER_TASK_STACK_DEPTH ( configMINIMAL_STACK_SIZE )\r
+\r
/* The interrupt priority used by the kernel itself for the tick interrupt and\r
the pended interrupt. This would normally be the lowest priority. */\r
#define configKERNEL_INTERRUPT_PRIORITY 1\r
#define INCLUDE_uxTaskGetStackHighWaterMark 1\r
#define INCLUDE_xTaskGetSchedulerState 1\r
\r
+#define configASSERT( x ) if( ( x ) == 0 ) { taskDISABLE_INTERRUPTS(); for( ;; ); } \r
+\r
extern volatile unsigned long ulHighFrequencyTickCount;\r
#define portCONFIGURE_TIMER_FOR_RUN_TIME_STATS() nop() /* Run time stats use the same timer as the high frequency timer test. */\r
#define portGET_RUN_TIME_COUNTER_VALUE() ulHighFrequencyTickCount\r