]> git.sur5r.net Git - openocd/blobdiff - doc/openocd.texi
docs: Fix incorrect -rtos option values
[openocd] / doc / openocd.texi
index 34d0884c94fdd8a70b682a7183402e8ea3d0ed5a..0c0b9519feea4cec5fbe9d1bc45b816a9ea0b595 100644 (file)
@@ -3941,8 +3941,8 @@ The value should normally correspond to a static mapping for the
 @code{-work-area-phys} address, set up by the current operating system.
 
 @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}.
+@var{rtos_type} can be one of @option{auto}|@option{eCos}|@option{ThreadX}|
+@option{FreeRTOS}|@option{linux}.
 
 @end itemize
 @end deffn