The mbed ecosystem consists of a modern full-stack OS designed for 32-bit ARM Cortex-M chips, a Device Server, and a set of tools that includes a Web IDE and developer Web services.
http://www.notebookcheck.net/ARM-announces-mbed-rapid-development-platform.127247.0.html