恩智浦针对Kinetis系列的MCU提供了免费的Kinetis® Design Studio开发工具，结合KSDK库可以很方便的生成工程文件。

同时Freedom系列的开发板都板载了OpenSDA调试工具，默认识别出的是MBED形式的存储器，可以直接将bin文件拖放进去进行编程下载。

同时还可以识别出一个虚拟串口，方便调试程序。

目前Mbed形式下载程序主要支持bin文件格式，那如何使用KDS软件生成此文件程序呢？

方法是只需要打开工程属性窗口，找到如下“Raw binary”选项即可。

当然，如果没有生成Flash镜像文件选项，可以在如下窗口勾选“Create flash image”选项，点击确认后，重新打开窗口即可显示。

这里不但能够生成bin文件，还可以生成HEX文件等。