Test ran at 2025-09-12 00:42:09.962918+00:00 SOLUTION: nrf5x_hal=0.1.0: Drivers and HAL for the Nordic nRF5X micro-controller family Origin: commit 0cf20efac2d0a64ed22844edbfcdd3acbbcdb1cc from https://github.com/Fabien-Chouteau/nrf5x-hal.git Properties: Auto_Gpr_With: auto-gpr-with=false Description: Drivers and HAL for the Nordic nRF5X micro-controller family License: BSD-3-Clause Maintainer: chouteau@adacore.com Maintainers_Logins: Fabien-Chouteau Name: nrf5x_hal Project_File: nrf51.gpr Project_File: nrf52.gpr Tag: embedded Tag: nostd Tag: nrf51 Tag: nrf52 Tag: nordic Tag: drivers Tag: ble Version: 0.1.0 Website: https://github.com/AdaCore/Ada_Drivers_Library/ Dependencies (direct): cortex_m~0.2.0 gnat_arm_elf^11.2 hal~0.1.0 Dependencies (solution): cortex_m=0.2.0 gnat_arm_elf=11.2.4 hal=0.1.0 Dependencies (graph): cortex_m=0.2.0 --> 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 nrf5x_hal=0.1.0 [alr test] Spawning retrieval for remote crate: alr -d -n get nrf5x_hal=0.1.0 Note: Deploying nrf5x_hal=0.1.0... Note: Deploying gnat_arm_elf=11.2.4... #=#=# ##O#-# 0.0% # 1.9% ## 3.0% ### 5.1% #### 6.1% ##### 7.3% ###### 9.1% ####### 10.7% ######## 12.1% ########## 14.1% ########## 15.1% ########## 15.2% ########## 15.2% ########## 15.3% ########### 15.3% ########### 15.4% ########### 15.4% ########### 15.5% ########### 15.5% ########### 15.6% ########### 15.6% ########### 15.7% ########### 15.8% ########### 15.9% ########### 16.0% ########### 16.0% ########### 16.1% ########### 16.2% ########### 16.3% ########### 16.4% ########### 16.5% ########### 16.6% ############ 16.7% ############ 16.8% ############ 17.0% ############ 17.1% ############ 17.2% ############ 17.4% ############ 17.6% ############ 17.8% ############# 18.1% ############# 18.2% ############## 20.0% ############### 21.2% ################ 22.9% ################# 24.2% ################## 25.6% ################### 27.1% ################### 27.3% #################### 28.6% ##################### 29.9% ##################### 30.3% ##################### 30.4% ###################### 30.7% ###################### 31.6% ####################### 33.3% ######################## 34.3% ######################### 36.1% ########################## 36.3% ########################### 37.7% ############################ 39.2% ############################ 39.4% ############################# 40.9% ############################## 42.4% ############################## 42.8% ############################### 43.5% ############################### 43.7% ############################### 44.0% ############################### 44.2% ############################### 44.4% ################################ 45.4% ################################# 46.1% ################################# 46.8% ################################## 47.7% ################################## 48.4% ################################## 48.4% #################################### 50.9% ##################################### 51.5% ###################################### 53.4% ####################################### 54.5% ######################################## 56.5% ######################################### 57.5% ########################################### 59.9% ########################################### 60.6% ############################################# 63.0% ############################################# 63.6% ############################################### 65.5% ############################################### 66.6% ################################################# 68.6% ################################################## 69.6% ################################################### 72.2% #################################################### 73.1% ###################################################### 75.1% ####################################################### 76.5% ######################################################## 78.2% ######################################################## 78.7% ########################################################## 81.2% ########################################################### 82.1% ############################################################ 84.2% ############################################################# 84.8% ############################################################## 86.7% ############################################################### 87.8% ################################################################ 89.6% ################################################################# 90.8% ################################################################## 92.8% ################################################################### 93.9% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% ##################################################################### 96.8% ##################################################################### 96.9% ###################################################################### 98.4% ####################################################################### 99.9% ######################################################################## 100.0% Note: gnat_arm_elf=11.2.4 installed successfully. Note: Deploying hal=0.1.0... #=#=# ######################################################################## 100.0% Note: Deploying cortex_m=0.2.0... nrf5x_hal=0.1.0 successfully retrieved. Dependencies were solved as follows: + cortex_m 0.2.0 (new) +b gnat_arm_elf 11.2.4 (new,binary) + hal 0.1.0 (new) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building nrf5x_hal=0.1.0/nrf51.gpr (1/2)... 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 Compile [Ada] cortex_m-nvic.adb [Ada] cortex_m-cache.adb [Ada] cortex_m_svd-debug.ads [Ada] cortex_m_svd-dwt.ads [Ada] cortex_m_svd-systick.ads [Ada] cortex_m_svd-scb.ads [Ada] cortex_m_svd.ads [Ada] cortex_m_svd-nvic.ads [Ada] semihosting.adb [Ada] memory_barriers.adb [Ada] cortex_m-dwt.adb [Ada] cortex_m.ads [Ada] semihosting-filesystem.adb [Ada] cortex_m-systick.adb [Ada] cortex_m-debug.adb [Ada] hal-framebuffer.ads [Ada] hal-time.ads [Ada] hal.ads [Ada] hal-spi.ads [Ada] hal-touch_panel.ads [Ada] hal-audio.ads [Ada] hal-filesystem.ads [Ada] hal-sdmmc.adb [Ada] hal-bitmap.ads [Ada] hal-real_time_clock.ads [Ada] hal-dsi.ads [Ada] hal-i2c.ads [Ada] hal-block_drivers.ads [Ada] hal-gpio.ads [Ada] hal-uart.ads [Ada] nrf_svd-clock.ads [Ada] nrf_svd-ecb.ads [Ada] nrf_svd-amli.ads [Ada] nrf_svd-lpcomp.ads [Ada] nrf_svd-gpio.ads [Ada] nrf_svd-twi.ads [Ada] nrf_svd-nvmc.ads [Ada] nrf_svd-rng.ads [Ada] nrf_svd-gpiote.ads [Ada] nrf_svd-temp.ads [Ada] nrf_svd-uicr.ads [Ada] nrf_svd-spim.ads [Ada] nrf_svd-mpu.ads [Ada] nrf_svd.ads [Ada] nrf_svd-wdt.ads [Ada] nrf_svd-spi.ads [Ada] nrf_svd-timer.ads [Ada] nrf_svd-spis.ads [Ada] nrf_svd-ccm.ads [Ada] nrf_svd-adc.ads [Ada] nrf_svd-rtc.ads [Ada] nrf_svd-qdec.ads [Ada] nrf_svd-aar.ads [Ada] nrf_svd-ppi.ads [Ada] nrf_svd-ficr.ads [Ada] nrf_svd-power.ads [Ada] nrf_svd-uart.ads [Ada] nrf_svd-radio.ads [Ada] nrf-adc.adb [Ada] nrf-ppi.adb [Ada] nrf-twi.adb [Ada] nrf-spi_master.adb [Ada] nrf-tasks.adb [Ada] nrf-rng.adb [Ada] nrf-radio.adb [Ada] nrf-gpio-tasks_and_events.adb [Ada] nrf-uart.adb [Ada] nrf-rtc.adb [Ada] nrf-events.adb [Ada] nrf-interrupts.adb [Ada] nrf-clock.adb [Ada] nrf-temperature.adb [Ada] nrf-timers.adb [Ada] nrf-gpio.adb [Ada] nrf.ads [Ada] nrf-device.ads 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 [archive] libnrf51.a [index] libnrf51.a Note: Building nrf5x_hal=0.1.0/nrf52.gpr (2/2)... Setup [mkdir] object directory for project Cortex_M4F [mkdir] library directory for project Cortex_M4F [mkdir] object directory for project NRF52 [mkdir] library directory for project NRF52 Compile [Ada] cortex_m-nvic.adb [Ada] cortex_m-cache.adb [Ada] cortex_m-fpu.adb [Ada] cortex_m_svd-debug.ads [Ada] cortex_m_svd-mpu.ads [Ada] cortex_m_svd-dwt.ads [Ada] cortex_m_svd-systick.ads [Ada] cortex_m_svd-scb.ads [Ada] cortex_m_svd.ads [Ada] cortex_m_svd-fpu.ads [Ada] cortex_m_svd-nvic.ads [Ada] semihosting.adb [Ada] memory_barriers.adb [Ada] cortex_m-dwt.adb [Ada] cortex_m.ads [Ada] semihosting-filesystem.adb [Ada] cortex_m-systick.adb [Ada] cortex_m-debug.adb [Ada] hal-framebuffer.ads [Ada] hal-time.ads [Ada] hal.ads [Ada] hal-spi.ads [Ada] hal-touch_panel.ads [Ada] hal-audio.ads [Ada] hal-filesystem.ads [Ada] hal-sdmmc.adb [Ada] hal-bitmap.ads [Ada] hal-real_time_clock.ads [Ada] hal-dsi.ads [Ada] hal-i2c.ads [Ada] hal-block_drivers.ads [Ada] hal-gpio.ads [Ada] hal-uart.ads [Ada] nrf_svd-clock.ads [Ada] nrf_svd-ecb.ads [Ada] nrf_svd-i2s.ads [Ada] nrf_svd-lpcomp.ads [Ada] nrf_svd-gpio.ads [Ada] nrf_svd-egu.ads [Ada] nrf_svd-twi.ads [Ada] nrf_svd-mwu.ads [Ada] nrf_svd-uarte.ads [Ada] nrf_svd-nvmc.ads [Ada] nrf_svd-rng.ads [Ada] nrf_svd-gpiote.ads [Ada] nrf_svd-temp.ads [Ada] nrf_svd-bprot.ads [Ada] nrf_svd-pdm.ads [Ada] nrf_svd-nfct.ads [Ada] nrf_svd-uicr.ads [Ada] nrf_svd-twim.ads [Ada] nrf_svd-comp.ads [Ada] nrf_svd-spim.ads [Ada] nrf_svd.ads [Ada] nrf_svd-saadc.ads [Ada] nrf_svd-wdt.ads [Ada] nrf_svd-pwm.ads [Ada] nrf_svd-spi.ads [Ada] nrf_svd-timer.ads [Ada] nrf_svd-fpu.ads [Ada] nrf_svd-spis.ads [Ada] nrf_svd-ccm.ads [Ada] nrf_svd-twis.ads [Ada] nrf_svd-rtc.ads [Ada] nrf_svd-qdec.ads [Ada] nrf_svd-aar.ads [Ada] nrf_svd-ppi.ads [Ada] nrf_svd-ficr.ads [Ada] nrf_svd-power.ads [Ada] nrf_svd-uart.ads [Ada] nrf_svd-radio.ads [Ada] nrf-adc.adb [Ada] nrf-ppi.adb [Ada] nrf-twi.adb [Ada] nrf-spi_master.adb [Ada] nrf-tasks.adb [Ada] nrf-rng.adb [Ada] nrf-radio.adb [Ada] nrf-gpio-tasks_and_events.adb [Ada] nrf-uart.adb [Ada] nrf-rtc.adb [Ada] nrf-events.adb [Ada] nrf-interrupts.adb [Ada] nrf-clock.adb [Ada] nrf-temperature.adb [Ada] nrf-timers.adb [Ada] nrf-gpio.adb [Ada] nrf.ads [Ada] nrf-device.adb Build Libraries [gprlib] hal.lexch [gprlib] cortex_m4f.lexch [archive] libhal.a [index] libhal.a [gprlib] nrf52.lexch [archive] libcortex_m4f.a [index] libcortex_m4f.a [archive] libnrf52.a [index] libnrf52.a Success: Build finished successfully in 2.93 seconds. Found declared GPR file: nrf51.gpr Found declared GPR file: nrf52.gpr [alr test] Test completed SUCCESSFULLY