I haven't been updating this project for a while. One of the reasons was the messy mbed online IDE. The larger the code, the slower the response of the browser. But lately I've been tinkering with Atom and discovered the plugin PlatformIO. PlatformIO has lots of development boards already configured and it worked almost out-of-the-box. The good thing about this is that now I can edit the code and compile anywhere with no need of the Internet. Also, from now on I will publish the source code on GitHub.

The migration was done 'by hand'. I couldn't find any export option in the mbed IDE that matched the configuration PlatformIO used. However this was not difficult and was done in under 5 min.

Also, if you want PlatoformIO to flash the KL25Z directly, change the upload_port in platformio.ini to this (make sure the board is mounted):

upload_port = /run/media/"user"/FRDM-KL25Z/