mbed library sources with internal temperature sensor for nucleo f401

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