https://github.com/AdaCore/Ada_Drivers_Library/
Author:BSD-3-Clause
Version:0.1.0
Alire CI: Dependencies:No dependents.
Badge:
This crate is a snapshot of the micro:bit examples in Ada Drivers Library.
Any bug report, issue, contribution must be adressed to the Ada Drivers Library repo.
The Micro:Bit is a very small ARM Cortex-M0 board designed by the BBC for computer education. It’s fitted with a Nordic nRF51 Bluetooth enabled microcontroller and an embedded programmer. You can get it at:
GNAT Community now comes with micro:bit and pyOCD support built-in. So you only need to download the ARM ELF and the native package from here
The Micro:Bit comes with an embedded programming/debugging probe implementing the CMSIS-DAP protocol defined by ARM.
To use it on Linux, you might need privileges to access the USB ports without which the flash program will say “No connected boards”.
On Ubuntu, you can do it by creating (as administrator) the file /etc/udev/rules.d/mbed.rules and add the line:
SUBSYSTEM=="usb", ATTR{idVendor}=="0d28", ATTR{idProduct}=="0204", MODE="0666"
then restarting the service by doing
$ sudo udevadm trigger
Start GNAT Programming studio (GPS) with Alire and one micro:bit example project:
alr edit analog_in/analog_in.gpr
alr edit follower/follower.gpr
alr edit digital_in/digital_in.gpr
alr edit accelerometer/accelerometer.gpr
alr edit buttons/buttons.gpr
alr edit BLE_beacon/BLE_beacon.gpr
alr edit digital_out/digital_out.gpr
alr edit servos/servos.gpr
alr edit neopixel/neopixel.gpr
alr edit text_scrolling/text_scrolling.gpr
alr edit analog_out/analog_out.gpr
alr edit music/music.gpr
Press F4 and then press Enter to build the project.
Plug your micro:bit board with a USB cable, and wait for the system to recognize it. This can take a few seconds
In the GPS toolbar, click on the “flash to board” button to program the micro:bit.
After a few seconds, you should see a text scrolling on the LED matrix.
That’s it, you are ready to hack the micro:bit with Ada!