[paths]
default = https://mbed.org/users/mbed_official/code/mbed-rtos/
