This is an automated email from Gerrit. "Chao Du <duc...@eswincomputing.com>" just uploaded a new patch set to Gerrit, which you can find at https://review.openocd.org/c/openocd/+/7531
-- gerrit commit 56a5b892bea3ca18e6e0fb26e780b35d6b00997f Author: Chao Du <duc...@eswincomputing.com> Date: Wed Mar 8 07:17:13 2023 +0000 doc: add missing FreeRTOS symbol A new FreeRTOS symbol xSchedulerRunning was added into the symbol list. But the doc was not updated accordingly. Signed-off-by: Chao Du <duc...@eswincomputing.com> Change-Id: If1b18591e2681477ad96f1dea566cc2547097767 diff --git a/doc/openocd.texi b/doc/openocd.texi index 6c853f2ce4..414b4c4057 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -11887,7 +11887,7 @@ _tx_thread_current_ptr, _tx_thread_created_ptr, _tx_thread_created_count. @raggedright pxCurrentTCB, pxReadyTasksLists, xDelayedTaskList1, xDelayedTaskList2, pxDelayedTaskList, pxOverflowDelayedTaskList, xPendingReadyList, -uxCurrentNumberOfTasks, uxTopUsedPriority. +uxCurrentNumberOfTasks, uxTopUsedPriority, xSchedulerRunning. @end raggedright @item linux symbols init_task. --