adamgreen/gcc4mbed — pull request #19 by svkatielee (2014-12-08 06:32:52+00:00)
Title: Working F401 and DISCO F407 device.mk files

This commit c9c8494 is the one with files in it... I just commented out the FLAGS that caused it to stop working, but it should need the floating point.
Maybe the interupts still may be flakey.
-Larry