Given the recent discussion about mbed, this announcement about mbed v3.0 seems timely:

https://developer.mbed.org/blog/entry/Announcing-our-plans-for-mbed-v30/

Phil H.