Rtos API example

mbed-os/platform/mbed_board.c/shortlog@9fca2b23d0ba: not found in manifest