From 1018e1e4c80f7e02cb0cd3c7e9d2f3f22feb74e8 Mon Sep 17 00:00:00 2001 From: Spencer Oliver Date: Thu, 25 Jul 2013 16:58:12 +0100 Subject: [PATCH] docs: add missing embKernel rtos arg to docs Change-Id: Ib304a2bf272d281f6cd124ffca95b32531d57899 Signed-off-by: Spencer Oliver Reviewed-on: http://openocd.zylin.com/1529 Tested-by: jenkins Reviewed-by: Xiaofan --- doc/openocd.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5