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.

-- 

Reply via email to