I installed the (brand new) official STM32 development platform. But Arduino isn't a real development platform, it's for light hobby usage only. I installed Arduino and the STM32 support, the devices I had were available and the simple program (flash the led) worked right away. I checked the device and cpu configuration files, and they look pretty good, but they're only available for the common STM32F controllers. I think I can build a bootable image with the embedded version as installed through fpcupdeluxe.
