mbed_example / Mbed OS Serial_ex_2