./waf configure --prefix=<sdk path> --rtems-bsps=arm/stm32f4
arm-rtems6-objcopy -O binary build/arm-rtems6-stm32f4/hello.exe build/arm-rtems6-stm32f4/hello.bin
openocd -f openocd.cfg -c 'init' -c 'targets' -c 'reset init' -c 'program build/arm-rtems6-stm32f4/hello.bin erase verify reset 0x08000000' -c 'reset run'