mbed mbed libraries and tools Tools documentation (how to setup and use the build system): http://mbed.org/handbook/mbed-tools mbed library internals documentation: http://mbed.org/handbook/mbed-library-internals