[OpenOCD-user] -rtos awareness chibiOS 3.0.0

[<jo....@te...>]

Is there a planning to support chibiOS 3.0.0 in the new release? 



$ ./openocd-0.8.0 -f "board/stm32f4discovery.cfg" -c "stm32f4x.cpu configure -rt os auto" 
Open On-Chip Debugger 0.8.0 (2014-04-28-08:39) 
Licensed under GNU GPL v2 
For bug reports, read 
http://openocd.sourceforge.net/doc/doxygen/bugs.html 
srst_only separate srst_nogate srst_open_drain connect_deassert_srst 
Info : This adapter doesn't support configurable speed 
Info : STLINK v2 JTAG v16 API v2 SWIM v0 VID 0x0483 PID 0x3748 
Info : using stlink api v2 
Info : Target voltage: 3.222091 
Info : stm32f4x.cpu: hardware has 6 breakpoints, 4 watchpoints 
Info : accepting 'gdb' connection from 3333 
Info : device id = 0x10016413 
Info : flash size = 1024kbytes 
Warn : No RTOS could be auto-detected! 
Kr,Jo