mbedmicro/mbed — pull request #340 by sg- (2014-06-03 00:23:59+00:00)
Title: Initial GCC support for K64F

Binaries produced are not functional.