See the [example project](../../examples/MicroBit/README.md) for instruction on how to use the Ada_Drivers_Library on the Micro:Bit.