port of the mbed HAL for the nRF51 DK paltform. - View it on GitHub