¿ Sabeis si hay algún entorno de desarrollo con Compilador C, gratuito, para Windows ?
Todo lo que encuentro parece que es de pago, o son versiones Lite muy limitadas (32K ó 1 breakpoint para el Debug).
De pago he localizado el MDK-ARM de Keil, lo que no se es el precio, he enviado un email al distribuidor español a ver que me cuenta.
Voy a comprar la Discovery, y también la BeagleBone Black, a ver si me meto de lleno con los ARM, aunque veo que Microchip está apunto de sacar la serie PIC32MZ a 200Mhz, 2Mb de flash y 512K de Ram, de ser así superaría con creces al STM32F4.

PD: el único compilador C de pago, a un precio decente y asequible que he localizado es el mikroC PRO for ARM de mikroelektronica, por 299 dólares. Los entornos de Keil en Farnell, cuestan barbaridades (de 2500 euros para arriba).