mbed is an operating system and hardware abstraction layer for microcontrollers, developed by ARM. A large number of development boards are supported.
The mbed microcontrollers are a series of ARM-based microcontroller development boards designed for fast, flexible and low-risk professional rapid prototyping.
For more details and development tools, visit mbed.org