ChibiOS with SW4STM32
Just in case if anybody else interested.
Chibios could be compiled and debugged in SW4STM32. I described transfer in
http://www.chibios.com/forum/viewtopic.php?f=16&t=3563&start=20#p27087
http://www.chibios.com/forum/viewtopic.php?f=16&t=3563&start=20#p27088
and following posts
Still there are some questions, but this is a good starting point.