Tested with STM32F4-Discovery evaluation board.

For debugging on Linux use:

https://github.com/texane/stlink