mbed library sources

Fork of mbed-src by mbed official

api/mbed_interface.h/shortlog@8202fd9ecc58: not found in manifest