@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