rtos: Add ChibiOS/RT support

[fw/openocd] / doc / openocd.texi

diff --git a/doc/openocd.texi b/doc/openocd.texi
index e6635576e47a5ebaf19cf0c2095c7665e90ac9dd..2cf1cbc278de1af79e0a2002e25a1eed507d51ba 100644 (file)
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -4075,7 +4075,7 @@ The value should normally correspond to a static mapping for the
 
 @item @code{-rtos} @var{rtos_type} -- enable rtos support for target,
 @var{rtos_type} can be one of @option{auto}|@option{eCos}|@option{ThreadX}|
-@option{FreeRTOS}|@option{linux}.
+@option{FreeRTOS}|@option{linux}|@option{ChibiOS}.
 
 @end itemize
 @end deffn