diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/openocd.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi index 34d0884c..0c0b9519 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -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 |