GitHub repository: ARMmbed/target-bbc-microbit-gcc
Description: Target for micro:bit with mbed OS using arm-gcc.