/libraries/mbed/rtos/rtos/
../
rtos_idle.c
rtos_idle.h