http://mbed.org/users/mbed_official/code/mbed-rtos/#721c3a93a7b8