Files
rtems/bsps/arm/stm32f4

Tested with STM32F4-Discovery evaluation board.

For debugging on Linux use:

https://github.com/texane/stlink