Openocd fork with support for our modified version of freertos - View it on GitHub