Actually, mbed may not be open source. Removed until I can confirm it.