X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=doc%2Fopenocd.texi;h=c2ee20dea3e84517459f4575f4e148c2c35eff7b;hp=e6635576e47a5ebaf19cf0c2095c7665e90ac9dd;hb=27f0497efa3c4fe14510979c1fa6905be74ad43b;hpb=516719b6b8ac35c14396f9a0cbdc355be4e45c10

diff --git a/doc/openocd.texi b/doc/openocd.texi
index e6635576e4..c2ee20dea3 100644
--- 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
@@ -7579,6 +7579,11 @@ A socket (TCP/IP) connection is typically started as follows:
 target remote localhost:3333
 @end example
 This would cause GDB to connect to the gdbserver on the local pc using port 3333.
+
+It is also possible to use the GDB extended remote protocol as follows:
+@example
+target extended-remote localhost:3333
+@end example
 @item
 A pipe connection is typically started as follows:
 @example