Posted at 2015-07-14.
I followed the instructions to install stm32duino on github, with a few diversions that I should write up, and everything mostly worked cleanly.
There is also a thread on Windows install on the forum.
sketches (screenshot included) from the project files (the part copied
Documents/arduino/hardware) worked cleanly.
The instructions and bat file that set up device ids also Just Work
without disabling signature checking or any other evil tricks.
Update: Blog: ChibiOS and Eclipse work
Both avrdude and dfu-util should be installed already.