mbed-os/rtos/mbed_lib.json

{
    "name": "rtos",
    "config": {
        "present": 1
    }
}