mbedmicro/mbed — pull request #476 by Sissors (2014-09-03 14:29:16+00:00)
Title: Update KSDK hal to 1.0 for K64

Merged an older update of Martin with current mbed branch and the latest KSDK 1.0 files. Also prepares for K22 support. And it won't automatically merge so good luck with that :).

Mbed blinky verified to still work, but couldn't hurt to verify also stuff like ethernet still works (which I cannot do).