doc: add missing FreeRTOS symbol
commita7f8a1d7fb8e6628f34340a5777ce600dc27f8d8
authorChao Du <duchao@eswincomputing.com>
Wed, 8 Mar 2023 07:17:13 +0000 (8 07:17 +0000)
committerTomas Vanek <vanekt@fbl.cz>
Sat, 18 Mar 2023 17:40:13 +0000 (18 17:40 +0000)
tree09ee458c5f3a8580a9fea526af6bacb4a1d327ad
parent8d1261c248796d5eee9ec8e646d16d653be984a6
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 <duchao@eswincomputing.com>
Change-Id: If1b18591e2681477ad96f1dea566cc2547097767
Reviewed-on: https://review.openocd.org/c/openocd/+/7531
Tested-by: jenkins
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
doc/openocd.texi