mbed OS APIs for the Arduino platform - View it on GitHub