Test ran at 2025-07-19 12:31:01.484786+00:00

SOLUTION:
microbit_bsp=0.2.1: Board Support Package for the BBC micro:bit v1
Origin: commit 6e957aa83afff9c164f1eb68f5fb5a59cc94ac45 from https://github.com/Fabien-Chouteau/microbit_bsp.git
Properties:
   Build Switches: 
   Description: Board Support Package for the BBC micro:bit v1
   License: BSD-3-Clause
   Long_Description: # microbit BSP

Board Support Package for the BBC micro:bit https://microbit.org/

This crate is a snapshot of [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware).

Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.


   Maintainer: chouteau@adacore.com
   Maintainers_Logins: Fabien-Chouteau
   Name: microbit_bsp
   Project_File: microbit_bsp.gpr
   Tag: embedded
   Tag: nostd
   Tag: microbit
   Tag: bbc
   Tag: nrf51
   Tag: bsp
   Version: 0.2.1
   Website: https://github.com/AdaCore/Ada_Drivers_Library/
Dependencies (direct):
   embedded_components~0.1.0
   hal~0.1.0
   nrf5x_hal~0.1.0
Dependencies (solution):
   adl_middleware=0.1.1
   cortex_m=0.2.0
   embedded_components=0.1.0
   gnat_arm_elf=11.2.4
   hal=0.1.0
   nrf5x_hal=0.1.0
Dependencies (graph):
   adl_middleware=0.1.1      --> hal=0.1.0 (^0.1.0)
   cortex_m=0.2.0            --> hal=0.1.0 (^0.1.0)
   embedded_components=0.1.0 --> adl_middleware=0.1.1 (^0.1.0)
   embedded_components=0.1.0 --> hal=0.1.0 (^0.1.0)
   microbit_bsp=0.2.1        --> embedded_components=0.1.0 (~0.1.0)
   microbit_bsp=0.2.1        --> hal=0.1.0 (~0.1.0)
   microbit_bsp=0.2.1        --> nrf5x_hal=0.1.0 (~0.1.0)
   nrf5x_hal=0.1.0           --> cortex_m=0.2.0 (~0.2.0)
   nrf5x_hal=0.1.0           --> gnat_arm_elf=11.2.4 (^11.2)
   nrf5x_hal=0.1.0           --> hal=0.1.0 (~0.1.0)


LOG:
[alr test] Testing microbit_bsp=0.2.1
[alr test] Spawning retrieval for remote crate: alr -d -n get microbit_bsp=0.2.1
Note: Deploying microbit_bsp=0.2.1...

microbit_bsp=0.2.1 successfully retrieved.
Dependencies were solved as follows:

   +  adl_middleware      0.1.1  (new,indirect)
   +  cortex_m            0.2.0  (new,indirect)
   +  embedded_components 0.1.0  (new)
   +b gnat_arm_elf        11.2.4 (new,indirect,binary)
   +  hal                 0.1.0  (new)
   +  nrf5x_hal           0.1.0  (new)
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building microbit_bsp=0.2.1/microbit_bsp.gpr...
Setup
   [mkdir]        object directory for project Microbit_Bsp
   [mkdir]        library directory for project Microbit_Bsp
Compile
   [Asm_CPP]      crt0.S
   [Ada]          microbit-music.adb
   [Ada]          microbit-servos.adb
   [Ada]          microbit-i2c.adb
   [Ada]          microbit-accelerometer.adb
   [Ada]          microbit.ads
   [Ada]          microbit-display-symbols.adb
   [Ada]          microbit-console.adb
   [Ada]          microbit-display.adb
   [Ada]          microbit-ios-neopixel.adb
   [Ada]          microbit-ios.adb
   [Ada]          microbit_bsp.ads
   [Ada]          microbit-buttons.adb
   [Ada]          microbit-time.adb
   [Ada]          microbit-spi.adb
Build Libraries
   [gprlib]       Microbit_Bsp.lexch
   [archive]      libMicrobit_Bsp.a
   [index]        libMicrobit_Bsp.a
Success: Build finished successfully in 0.75 seconds.
Found declared GPR file: microbit_bsp.gpr
[alr test] Test completed SUCCESSFULLY