X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;f=doc%2Fopenocd.texi;h=8373593a18dad82892b3cb2d2b59696126286df3;hb=0a4c8990c29e61fd0c2796486519cdb256b8da3b;hp=51dab187f14046bb83a51a7368092711a8a6618c;hpb=962b3eb40cc5b69d9b3d6fcc4c5d56c4d204a307;p=openocd.git

diff --git a/doc/openocd.texi b/doc/openocd.texi
index 51dab187f1..8373593a18 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