Rtos API example

mbed-os/platform/mbed_mktime.h/shortlog@9fca2b23d0ba: not found in manifest