mbed HAL for Freescale KSDK MCUs - View it on GitHub