mbed
The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.
Build of mbed, at revision 5e5da4a5990b
Revision date: March 5, 2013, 5:59 p.m.
Commit message: [KL25Z] Fix "us_ticker_set_interrupt". [GCC] Declare "__semihost" as static inline.