81a3ab77abb8b95eea85b07e854c77d74771cad0
[fw/openocd] / contrib / rtos-helpers / FreeRTOS-openocd.c
1 /*
2  * Since at least FreeRTOS V7.5.3 uxTopUsedPriority is no longer
3  * present in the kernel, so it has to be supplied by other means for
4  * OpenOCD's threads awareness.
5  *
6  * Add this file to your project, and, if you're using --gc-sections,
7  * ``--undefined=uxTopUsedPriority'' (or
8  * ``-Wl,--undefined=uxTopUsedPriority'' when using gcc for final
9  * linking) to your LDFLAGS; same with all the other symbols you need.
10  */
11
12 #include "FreeRTOS.h"
13
14 #ifdef __GNUC__
15 #define USED __attribute__((used))
16 #else
17 #define USED
18 #endif
19
20 const int USED uxTopUsedPriority = configMAX_PRIORITIES - 1;