Any chance of reloading the firmware under OSX or Linux

I don’t have time to follow up on the details at the moment, but it looks like someone has ported the necessary tools to develop on another STM32 dev kit to Macintosh: http://www.paintyourdragon.com/uc/osxstm32/index.html.