mirror of
https://github.com/DarkFlippers/unleashed-firmware
synced 2024-12-23 19:23:09 +00:00
c9b921f6ce
openocd needs a visible uxTopUsedPriority symbol for freertos, but freertos is discarding it in v7, so I add the helper file manually
21 lines
No EOL
588 B
C
21 lines
No EOL
588 B
C
|
|
/*
|
|
* Since at least FreeRTOS V7.5.3 uxTopUsedPriority is no longer
|
|
* present in the kernel, so it has to be supplied by other means for
|
|
* OpenOCD's threads awareness.
|
|
*
|
|
* Add this file to your project, and, if you're using --gc-sections,
|
|
* ``--undefined=uxTopUsedPriority'' (or
|
|
* ``-Wl,--undefined=uxTopUsedPriority'' when using gcc for final
|
|
* linking) to your LDFLAGS; same with all the other symbols you need.
|
|
*/
|
|
|
|
#include "FreeRTOS.h"
|
|
|
|
#ifdef __GNUC__
|
|
#define USED __attribute__((used))
|
|
#else
|
|
#define USED
|
|
#endif
|
|
|
|
const int USED uxTopUsedPriority = configMAX_PRIORITIES - 1; |