The mbed MCU platform’s SDK is now open source. The mbed crew reports,
The mbed Software Development Kit (SDK) is a C/C++ microcontroller software platform already relied upon by tens of thousands of developers to write code for ARM microcontrollers. It has always been free for commercial and noncommercial use, but this latest release under an open source license will extend its applicability further to be relied on in more commercial, open source and educational projects.
Visit mbed.org for downloads and more information.
Viswa via the contact form.