Test ran at 2025-07-17 00:57:56.124608+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... Note: Deploying gnat_arm_elf=11.2.4... #=#=# ##O#-# 0.0% # 2.4% ## 3.8% #### 6.1% ###### 8.6% ###### 9.4% ####### 10.9% ######## 12.1% ######## 12.2% ######## 12.5% ######### 13.6% ########## 15.1% ############ 17.6% ############# 18.7% ############### 20.9% ############### 21.6% ################# 23.8% ################# 24.2% ################# 24.3% ################# 24.5% ################## 25.0% ################### 26.7% ################### 27.5% #################### 28.6% ##################### 30.3% ##################### 30.4% ###################### 31.9% ####################### 33.3% ######################### 35.8% ########################## 36.6% ########################### 37.7% ############################ 39.4% ############################# 41.3% ############################## 42.4% ############################### 43.6% ############################### 43.6% ################################ 45.4% ################################## 47.6% ################################## 48.4% #################################### 50.9% ##################################### 51.9% ###################################### 53.8% ######################################## 55.7% ######################################### 57.5% ########################################### 59.7% ########################################### 60.6% ############################################# 62.7% ############################################# 63.6% ############################################### 66.1% ################################################ 67.8% ################################################## 69.6% ################################################### 72.1% #################################################### 72.7% ###################################################### 75.1% ###################################################### 76.2% ######################################################## 78.2% ######################################################### 79.5% ########################################################## 81.8% ############################################################ 84.2% ############################################################# 85.5% ############################################################### 87.8% ################################################################ 90.3% ################################################################# 91.4% ################################################################### 93.8% #################################################################### 94.6% ##################################################################### 96.8% ###################################################################### 97.3% ####################################################################### 99.4% ######################################################################## 100.0% Note: gnat_arm_elf=11.2.4 installed successfully. Note: Deploying hal=0.1.0... #=#=# ##O#-# #################### 28.3% ######################################################################## 100.0% Note: Deploying adl_middleware=0.1.1... Note: Deploying cortex_m=0.2.0... Note: Deploying embedded_components=0.1.0... Note: Deploying nrf5x_hal=0.1.0... 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 HAL [mkdir] library directory for project HAL [mkdir] object directory for project Cortex_M0 [mkdir] library directory for project Cortex_M0 [mkdir] object directory for project NRF51 [mkdir] library directory for project NRF51 [mkdir] object directory for project Adl_Middleware [mkdir] library directory for project Adl_Middleware [mkdir] object directory for project Embedded_Components [mkdir] library directory for project Embedded_Components [mkdir] object directory for project Microbit_Bsp [mkdir] library directory for project Microbit_Bsp Compile [Ada] bitmap_color_conversion.adb [Ada] memory_mapped_bitmap.adb [Ada] bitmap_file_output.adb [Ada] soft_drawing_bitmap.adb [Ada] bluetooth_low_energy.adb [Ada] bluetooth_low_energy-beacon.adb [Ada] bluetooth_low_energy-packets.adb [Ada] neopixel.adb [Ada] pathname_manipulation.adb [Ada] filesystem-fat-directories.adb [Ada] filesystem-fat.adb [Ada] filesystem-fat-files.adb [Ada] filesystem.ads [Ada] file_io.adb [Ada] filesystem-mbr.adb [Ada] partitions.adb [Ada] command_line.adb [Ada] command_line-filesystem-touch.adb [Ada] command_line-filesystem-list_directory.adb [Ada] command_line-filesystem-remove_directory.adb [Ada] command_line-filesystem.adb [Ada] command_line-filesystem-cat.adb [Ada] logging_with_priority.adb [Ada] logging.adb [Ada] logging_with_categories.adb [Ada] hex_dump.adb [Ada] file_block_drivers.adb [Ada] monitor.ads [Ada] monitor-block_drivers.adb [Ada] sdmmc_init.adb [Ada] simple_synthesizer.adb [Ada] adl_config.ads [Ada] vl53l0x.adb [Ada] bbq10kbd.adb [Ada] ht16k33.adb [Ada] stmpe1600.adb [Ada] mcp23008.ads [Ada] mcp23x08.adb [Ada] mcp23x08-i2c.adb [Ada] adafruit-trellis.adb [Ada] ft5336.adb [Ada] ft6x06.adb [Ada] stmpe811.adb [Ada] wm8994.adb [Ada] sgtl5000.adb [Ada] cs43l22.adb [Ada] st7735r.adb [Ada] st7735r-ram_framebuffer.adb [Ada] ssd1306-standard_resolutions.ads [Ada] ssd1306.adb [Ada] pcd8544.adb [Ada] pcd8544_reg.ads [Ada] otm8009a.adb [Ada] ili9341.adb [Ada] ili9341_regs.ads [Ada] adafruit-charliewing.adb [Ada] is31fl3731.adb [Ada] bno055_i2c_io.adb [Ada] bosch_bno055.adb [Ada] mpu9250.adb [Ada] mma8653.adb [Ada] ak8963.adb [Ada] pmw3901.adb [Ada] lis3dsh-spi.adb [Ada] lis3dsh.adb [Ada] l3gd20.adb [Ada] adafruit-thermal_printer.adb [Ada] ov7725.adb [Ada] ov2640.adb [Ada] bit_fields.adb [Ada] adafruit.ads [Ada] cortex_m-nvic.adb [Ada] cortex_m-cache.adb [Ada] cortex_m_svd-dwt.ads [Ada] cortex_m_svd.ads [Ada] cortex_m_svd-nvic.ads [Ada] cortex_m_svd-debug.ads [Ada] cortex_m_svd-scb.ads [Ada] cortex_m_svd-systick.ads [Ada] memory_barriers.adb [Ada] semihosting-filesystem.adb [Ada] semihosting.adb [Ada] cortex_m-debug.adb [Ada] cortex_m-systick.adb [Ada] cortex_m.ads [Ada] cortex_m-dwt.adb [Ada] hal-uart.ads [Ada] hal-audio.ads [Ada] hal-i2c.ads [Ada] hal-block_drivers.ads [Ada] hal-gpio.ads [Ada] hal-spi.ads [Ada] hal-real_time_clock.ads [Ada] hal-dsi.ads [Ada] hal.ads [Ada] hal-filesystem.ads [Ada] hal-time.ads [Ada] hal-touch_panel.ads [Ada] hal-sdmmc.adb [Ada] hal-framebuffer.ads [Ada] hal-bitmap.ads [Ada] nrf_svd-uart.ads [Ada] nrf_svd-timer.ads [Ada] nrf_svd-spim.ads [Ada] nrf_svd-power.ads [Ada] nrf_svd-spis.ads [Ada] nrf_svd-nvmc.ads [Ada] nrf_svd-amli.ads [Ada] nrf_svd-aar.ads [Ada] nrf_svd-gpiote.ads [Ada] nrf_svd-temp.ads [Ada] nrf_svd-ccm.ads [Ada] nrf_svd-twi.ads [Ada] nrf_svd-ecb.ads [Ada] nrf_svd.ads [Ada] nrf_svd-clock.ads [Ada] nrf_svd-wdt.ads [Ada] nrf_svd-ppi.ads [Ada] nrf_svd-lpcomp.ads [Ada] nrf_svd-adc.ads [Ada] nrf_svd-uicr.ads [Ada] nrf_svd-rng.ads [Ada] nrf_svd-qdec.ads [Ada] nrf_svd-ficr.ads [Ada] nrf_svd-rtc.ads [Ada] nrf_svd-radio.ads [Ada] nrf_svd-gpio.ads [Ada] nrf_svd-spi.ads [Ada] nrf_svd-mpu.ads [Ada] nrf-adc.adb [Ada] nrf-ppi.adb [Ada] nrf-temperature.adb [Ada] nrf-events.adb [Ada] nrf-gpio.adb [Ada] nrf.ads [Ada] nrf-gpio-tasks_and_events.adb [Ada] nrf-clock.adb [Ada] nrf-twi.adb [Ada] nrf-timers.adb [Ada] nrf-rtc.adb [Ada] nrf-rng.adb [Ada] nrf-radio.adb [Ada] nrf-tasks.adb [Ada] nrf-interrupts.adb [Ada] nrf-spi_master.adb [Ada] nrf-uart.adb [Ada] nrf-device.ads [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] hal.lexch [gprlib] cortex_m0.lexch [archive] libhal.a [index] libhal.a [gprlib] nrf51.lexch [archive] libcortex_m0.a [index] libcortex_m0.a [gprlib] Adl_Middleware.lexch [gprlib] Embedded_Components.lexch [archive] libnrf51.a [archive] libAdl_Middleware.a [index] libAdl_Middleware.a [index] libnrf51.a [gprlib] Microbit_Bsp.lexch [archive] libEmbedded_Components.a [index] libEmbedded_Components.a [archive] libMicrobit_Bsp.a [index] libMicrobit_Bsp.a Success: Build finished successfully in 5.04 seconds. Found declared GPR file: microbit_bsp.gpr [alr test] Test completed SUCCESSFULLY