This is an automated email from Gerrit. "Name of user not set <[email protected]>" just uploaded a new patch set to Gerrit, which you can find at https://review.openocd.org/c/openocd/+/9732
-- gerrit commit 9417bc384342baca077a62cce49412d280ce60d1 Author: Arun Balamurali <[email protected]> Date: Sat Jun 6 20:36:41 2026 -0700 rtos/freertos: Document that uxTopUsedPriority may already be exported FreeRTOS versions since v10.4.2 export this symbol to support task-aware debugging and does not need to be linked by the user. Change-Id: I78ca309facdad7cea9031500b526ea34c8548d74 Signed-off-by: Arun Balamurali <[email protected]> diff --git a/contrib/rtos-helpers/FreeRTOS-openocd.c b/contrib/rtos-helpers/FreeRTOS-openocd.c index 5f82ac7a2c..7ae55a8731 100644 --- a/contrib/rtos-helpers/FreeRTOS-openocd.c +++ b/contrib/rtos-helpers/FreeRTOS-openocd.c @@ -1,12 +1,10 @@ // SPDX-License-Identifier: CC0-1.0 /* - * 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. + * OpenOCD needs certain symbols defined for task-aware debugging. * - * Add this file to your project, and, if you're using --gc-sections, - * ``--undefined=uxTopUsedPriority'' (or + * Add the following symbols 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. */ @@ -19,4 +17,9 @@ #define USED #endif +/* + * Between FreeRTOS v7.5.3 and v10.4.2, uxTopUsedPriority wasn't + * present in the kernel, so it has to be supplied by other means for + * OpenOCD's thread awareness. + */ const int USED uxTopUsedPriority = configMAX_PRIORITIES - 1; --
