contrib/rtos-helpers/FreeRTOS-openocd.c

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