mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

api/InterruptManager.h/shortlog/shortlog@dd901dec6bd0: not found in manifest