Working Freescale Kinetis Design Studio 1.0.1 Project with mbed Libraries for K64F Freedom Board