Speaking of the STM32F4: Does anybody know of a somewhat free/gratis development environment, which would make these boards useful for hobby use, please?
Am really interested in the 'F427 board, but it is kind of a let down if you can only use 32KB code size on a chip this large.
I'm aware it seems possible to 'roll your own' on Linux, but I was hoping for something closer to a turn key solution.