]> git.sur5r.net Git - openocd/commitdiff
docs: add missing embKernel rtos arg to docs
authorSpencer Oliver <spen@spen-soft.co.uk>
Thu, 25 Jul 2013 15:58:12 +0000 (16:58 +0100)
committerSpencer Oliver <spen@spen-soft.co.uk>
Thu, 1 Aug 2013 10:29:18 +0000 (10:29 +0000)
Change-Id: Ib304a2bf272d281f6cd124ffca95b32531d57899
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/1529
Tested-by: jenkins
Reviewed-by: Xiaofan <xiaofanc@gmail.com>
doc/openocd.texi

index 51dab187f14046bb83a51a7368092711a8a6618c..8373593a18dad82892b3cb2d2b59696126286df3 100644 (file)
@@ -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