mbed
The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.
Build of mbed, at revision 0480438fc29c
Revision date: Jan. 18, 2013, 10:30 a.m.
Commit message: Add semihosting support for IAR toolchain Improve IAR stdio retargeting