Found an interesting article from mbed.com:
https://developer.mbed.org/blog/entry/bbc-microbit-mbed-hdk/
Finally, they may hit the streets soon. Anyone plan on using mbed?
Clem