mbedmicro/mbed — pull request #267 by 0xc0170 (2014-04-19 09:41:11+00:00)
Title: NUCLEO_F401RE and NUCLEO_F302R8 - FPU enabled

Enable FPU for 2 nucleo targets which contain FPU.
I currently don't have these 2 boards at my disposal, please test the simple program with wait() to verify. With the current settings (targets are defined as M4 core), the simple program with wait() halts because project templates have FPU enabled and the mbed lib is compiled as without FPU.

Thanks!