diff options
author | Adam Pigg <adam@piggz.co.uk> | 2020-07-11 21:41:20 +0100 |
---|---|---|
committer | Adam Pigg <adam@piggz.co.uk> | 2020-07-11 21:41:20 +0100 |
commit | 789e06fdb77704fa5da12355ad5f1d8c9d4455e5 (patch) | |
tree | 56972f902675749e0df58e91d8670dd5215d677e /src/FreeRTOSConfig.h | |
parent | 7a1e6e6e5bf187846bd533f04ee58e04798f0035 (diff) | |
parent | 6309719a62436fd746a7a8b228205e93b419ca26 (diff) |
Merge branch 'develop' of https://github.com/JF002/Pinetime into music
Diffstat (limited to 'src/FreeRTOSConfig.h')
-rw-r--r-- | src/FreeRTOSConfig.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/FreeRTOSConfig.h b/src/FreeRTOSConfig.h index 93289e1a..a18a2927 100644 --- a/src/FreeRTOSConfig.h +++ b/src/FreeRTOSConfig.h @@ -63,7 +63,7 @@ #define configTICK_RATE_HZ 1024 #define configMAX_PRIORITIES ( 3 ) #define configMINIMAL_STACK_SIZE ( 120 ) -#define configTOTAL_HEAP_SIZE ( 1024*20 ) +#define configTOTAL_HEAP_SIZE ( 1024*11 ) #define configMAX_TASK_NAME_LEN ( 4 ) #define configUSE_16_BIT_TICKS 0 #define configIDLE_SHOULD_YIELD 1 @@ -85,7 +85,7 @@ /* Run time and task stats gathering related definitions. */ #define configGENERATE_RUN_TIME_STATS 0 -#define configUSE_TRACE_FACILITY 0 +#define configUSE_TRACE_FACILITY 1 #define configUSE_STATS_FORMATTING_FUNCTIONS 0 /* Co-routine definitions. */ @@ -96,7 +96,7 @@ #define configUSE_TIMERS 1 #define configTIMER_TASK_PRIORITY ( 0 ) #define configTIMER_QUEUE_LENGTH 32 -#define configTIMER_TASK_STACK_DEPTH ( 240 ) +#define configTIMER_TASK_STACK_DEPTH ( 200 ) /* Tickless Idle configuration. */ #define configEXPECTED_IDLE_TIME_BEFORE_SLEEP 2 |