freertos_platform_config.h

Go to the documentation of this file.

#ifndef __FREERTOS_PLATFORM_CONFIG_H_
#define __FREERTOS_PLATFORM_CONFIG_H_
 
#include <stdint.h>
extern uint32_t SystemCoreClock;
 
/*
 * The CMSIS-RTOS V2 FreeRTOS wrapper is dependent on the heap implementation used
 * by the application thus the correct define need to be enabled below (only used if heap 1 or 5)
 */
#define USE_FreeRTOS_HEAP_3
 
/* Clock config that is platform dependent */
#define configCPU_CLOCK_HZ (SystemCoreClock)
#define configTICK_RATE_HZ ((TickType_t)1000)
 
/* Definitions that map the FreeRTOS port interrupt handlers to their CMSIS
standard names. */
#define vPortSVCHandler SVC_Handler
#define xPortPendSVHandler PendSV_Handler
#define xPortSysTickHandler SysTick_Handler
 
/* Runtime stats */
#ifdef RUNTIME_STATS
#define configUSE_STATS_FORMATTING_FUNCTIONS 1
#define configGENERATE_RUN_TIME_STATS 1
#define configRUN_TIME_COUNTER_TYPE uint64_t
 
/* Port macro for run time stats*/
extern uint32_t Hal_getCPUCounter();
#define portCONFIGURE_TIMER_FOR_RUN_TIME_STATS()                                                   \
    do {                                                                                           \
    } while (0) // Already set via hal init
 
#define portGET_RUN_TIME_COUNTER_VALUE() Hal_getCPUCounter()
#endif // RUNTIME_STATS
 
#endif // __FREERTOS_PLATFORM_CONFIG_H_