ChibiOS Free Embedded RTOS

Hi Giovanni/RM,
The patches for support of STM32F413 have now been merged into openocd.
(see http://openocd.zylin.com/#/c/4045/)

Would it be possible for the latest openocd to be built so we can use the ChibiStudio debugger with F413?
I realise F413 is not yet officially part of the trunk but it is working well for compile and build with the patches made some while back.

Thanks,

Bob

Up-to-date and compiled OpenOCD Binaries for Linux, Windows and OSX are available here:
https://github.com/gnu-mcu-eclipse/openocd/releases