GitHub repository: ARMmbed/target-nrf51dk-armcc
Description: Target to support ARMCC builds for the nRF51 DK platform.