mbedmicro/mbed — pull request #224 by dinau (2014-03-21 12:21:52+00:00)
Title: [STM32F407][LPC4088][GCC_ARM] Fixed compilation error.

(1) Fixed FPU error when compile with RTX OS. (STM32F407 and LPC4088)
(2) Added STM32F407 definition to RTX OS source.
(3) Added LED1,LED2 definition for STM32F407.