rem if you have an older Rev C discovery please update to latest Rev D firmware
rem As of March 2017 this enabled GDB debugging using ARM Eclipse plug-in
openocd\openocd.exe -f openocd/stm32f4discovery.cfg -c init -c reset