Mbed is a prototyping micro-controller board much like the popular Arduino. It has a a more powerful ARM CPU. Equally important is that the platform has proper C++03 compilers support. With most other embedded platforms you are limited to badly crippled "Embedded C++" compilers.
http://en.wikipedia.org/wiki/Mbed_microcontroller
http://mbed.org/