FreeRTOSConfig: [#55] Set runtime counter type to 64 bit.

2023-05-30 10:24:57 +03:00
parent cb31fc4009
commit d76151ef15
1 changed files with 2 additions and 1 deletions
--- a/source/shoh/freertos/FreeRTOSConfig.h
+++ b/source/shoh/freertos/FreeRTOSConfig.h
@@ -93,7 +93,8 @@
 #define configUSE_COUNTING_SEMAPHORES	1
 #define configGENERATE_RUN_TIME_STATS	1
 #define configRECORD_STACK_HIGH_ADDRESS 1
-#define configUSE_TICKLESS_IDLE 1 
+#define configUSE_TICKLESS_IDLE         1
+#define configRUN_TIME_COUNTER_TYPE     uint64_t


 /* Co-routine definitions. */