[Archived] Arduino core supporting mbed-enabled boards - View it on GitHub