#define configUSE_TICK_HOOK 0\r
#define configCPU_CLOCK_HZ ( ICLK_FREQUENCY ) /* Set in rskrx210def.h. */\r
#define configPERIPHERAL_CLOCK_HZ ( PCLK_FREQUENCY ) /* Set in rskrx210def.h. */\r
-#define configTICK_RATE_HZ ( ( portTickType ) 1000 )\r
+#define configTICK_RATE_HZ ( ( TickType_t ) 1000 )\r
#define configMINIMAL_STACK_SIZE ( ( unsigned short ) 140 )\r
#define configTOTAL_HEAP_SIZE ( ( size_t ) ( 50 * 1024 ) )\r
#define configMAX_TASK_NAME_LEN ( 12 )\r