1 // SPDX-License-Identifier: GPL-2.0-or-later
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.
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.
17 #define USED __attribute__((used))
22 const int USED uxTopUsedPriority = configMAX_PRIORITIES - 1;