diff options
Diffstat (limited to 'doc/openocd.texi')
| -rw-r--r-- | doc/openocd.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi index 51dab187..8373593a 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -4301,7 +4301,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{ChibiOS}. +@option{FreeRTOS}|@option{linux}|@option{ChibiOS}|@option{embKernel}. @end itemize @end deffn |