Eclipse + GNU ARM + STM32 - HAL o SPL

Voy a comenzar con el desarrollo de ARM (después de 2 años de AVR) y he elegido la placa STM DISCOVERY con el microprocesador stm32f4. Decidí usar eclipse + ARM gcc ya que no me gusta el límite de código de Keil y no tengo el dinero para obtener una versión paga. Siguiendo los tutoriales, instalé...