Rtos API example

mbed-os/hal/gpio_irq_api.h/shortlog@9fca2b23d0ba: not found in manifest