System Workbench for STM32

Hello,
I am also facing similar issue, its been an year since your last post,. I hope you might have got it working. If so, can you pls post the solution that you had found. That would be useful for newbies of STM32F4-Discovery like myself.

Thanks in advance
Srinivasan