STM32F4 compiling under linux (with hardfloat!)

  1. Get a patched version of summon-arm-toolchain
  2. clone https://github.com/jeremyherbert/stm32-templates
  3. cd to the “stm32f4-discovery” folder
  4. run make
  5. enjoy hardware floating point support

To add hardfloat support to your own projects, use the compiler flags:

-mcpu=cortex-m4 -mthumb-interwork -mfloat-abi=hard -mfpu=fpv4-sp-d16