A port of the mbed HAL for the Spark IO