mbed_example / Mbed OS rtos_mutex