Test ran at 2025-08-21 01:28:50.506484+00:00 SOLUTION: rp2040_hal=2.5.0: Drivers and HAL for the RP2040 micro-controller family Origin: commit 4f701bfa97848f5a0acd2cbc6c1b0869cadb7abd from https://github.com/JeremyGrosser/rp2040_hal.git Properties: Author: Jeremy Grosser Config set: atomic {Backend := armv6m} Config set: cortex_m {core := m0p} Config type: Flash_Chip : Enum (w25qxx, generic_qspi, generic_03) default: 'w25qxx' Config type: Interrupts : Enum (hal, bb_runtimes) default: 'hal' Config type: Use_Startup : Boolean default: 'true' Configuration: no modifiers Description: Drivers and HAL for the RP2040 micro-controller family License: BSD-3-Clause Maintainer: Jeremy Grosser Maintainers_Logins: JeremyGrosser Name: rp2040_hal Tag: embedded Tag: nostd Tag: rp2040 Tag: raspberrypi Tag: drivers Version: 2.5.0 Website: https://pico-doc.synack.me/ Dependencies (direct): atomic^1 cortex_m^1 gnat_arm_elf^14 hal^1 usb_embedded^1 Dependencies (solution): atomic=1.0.0 bbqueue=1.0.0 cortex_m=1.1.0 gnat=14.2.1 (gnat_arm_elf) gnat_arm_elf=14.2.1 hal=1.0.0 usb_embedded=1.0.1 Dependencies (graph): bbqueue=1.0.0 --> atomic=1.0.0 (^1.0.0) bbqueue=1.0.0 --> gnat=14.2.1 (gnat_arm_elf) (>=10) cortex_m=1.1.0 --> gnat_arm_elf=14.2.1 (>=12) cortex_m=1.1.0 --> hal=1.0.0 (~0.3 | ^1.0.0) rp2040_hal=2.5.0 --> atomic=1.0.0 (^1) rp2040_hal=2.5.0 --> cortex_m=1.1.0 (^1) rp2040_hal=2.5.0 --> gnat_arm_elf=14.2.1 (^14) rp2040_hal=2.5.0 --> hal=1.0.0 (^1) rp2040_hal=2.5.0 --> usb_embedded=1.0.1 (^1) usb_embedded=1.0.1 --> bbqueue=1.0.0 (^1.0.0) usb_embedded=1.0.1 --> hal=1.0.0 (^1.0.0) LOG: [alr test] Testing rp2040_hal=2.5.0 [alr test] Spawning retrieval for remote crate: alr -d -n get rp2040_hal=2.5.0 Note: Deploying rp2040_hal=2.5.0... Note: Deploying gnat_arm_elf=14.2.1... #=#=# ##O#-# 0.8% ### 4.4% ### 4.9% #### 5.6% #### 6.6% ###### 8.9% ######### 12.8% ######### 13.3% ############ 17.6% ############## 19.9% ################ 22.5% ################# 24.5% ################### 27.4% ################### 27.4% #################### 28.7% ###################### 31.6% ######################### 35.4% ########################### 38.7% ############################# 41.4% ############################### 43.8% ############################### 44.2% ################################ 45.0% ################################ 45.0% ################################## 47.5% ################################## 48.5% ################################## 48.6% #################################### 51.3% ###################################### 53.6% ######################################## 55.7% ######################################## 56.7% ######################################### 57.9% ########################################## 59.2% ########################################### 60.6% ############################################# 63.6% ############################################### 65.8% ################################################# 68.4% ################################################## 70.6% ##################################################### 74.0% ####################################################### 77.4% ######################################################### 79.6% ########################################################## 81.0% ########################################################## 81.6% ############################################################# 84.9% ############################################################### 88.2% ################################################################# 90.5% ################################################################### 93.1% ################################################################### 93.4% ################################################################### 93.5% #################################################################### 95.4% ###################################################################### 97.5% ######################################################################## 100.0% Note: gnat_arm_elf=14.2.1 installed successfully. Note: Deploying cortex_m=1.1.0... Note: Deploying usb_embedded=1.0.1... rp2040_hal=2.5.0 successfully retrieved. Dependencies were solved as follows: + atomic 1.0.0 (new) + bbqueue 1.0.0 (new,indirect) + cortex_m 1.1.0 (new) +b gnat 14.2.1 (new,gnat_arm_elf,indirect,binary) +b gnat_arm_elf 14.2.1 (new,binary) + hal 1.0.0 (new) + usb_embedded 1.0.1 (new) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building rp2040_hal=2.5.0/rp2040_hal.gpr... Setup [mkdir] object directory for project Atomic [mkdir] library directory for project Atomic [mkdir] object directory for project HAL [mkdir] library directory for project HAL [mkdir] object directory for project Cortex_M [mkdir] library directory for project Cortex_M [mkdir] object directory for project Bbqueue [mkdir] library directory for project Bbqueue [mkdir] object directory for project Usb_Embedded [mkdir] library directory for project Usb_Embedded [mkdir] object directory for project Rp2040_Hal [mkdir] library directory for project Rp2040_Hal Compile [Ada] bbqueue_config.ads [Ada] bbqueue-buffers.adb [Ada] bbqueue.adb [Ada] bbqueue-buffers-framed.adb [Ada] usb_embedded_config.ads [Ada] usb-device-hid-joystick.adb [Ada] usb-device-midi.adb [Ada] usb-device-control.adb [Ada] usb-device.adb [Ada] usb-device-serial.adb [Ada] usb-hal-device.ads [Ada] usb-lang.ads [Ada] usb-device-hid-gamepad.adb [Ada] usb-utils.adb [Ada] usb-device-hid.adb [Ada] usb-logging.ads [Ada] usb-device-hid-mouse.adb [Ada] usb-device-hid-keyboard.adb [Ada] usb-hal.ads [Ada] usb.adb [Ada] usb-logging-device__null.adb [Ada] hal-flash.ads [Ada] hal-filesystem.ads [Ada] hal-gpio.ads [Ada] hal-sdmmc.adb [Ada] hal-real_time_clock.ads [Ada] hal-uart.ads [Ada] hal-audio.ads [Ada] hal-i2c.ads [Ada] hal-dsi.ads [Ada] hal.ads [Ada] hal-touch_panel.ads [Ada] hal-spi.ads [Ada] hal-bitmap.ads [Ada] hal-time.ads [Ada] hal-framebuffer.ads [Ada] hal-block_drivers.ads [Ada] cortex_m-nvic.adb [Ada] cortex_m-cache.adb [Ada] cortex_m_svd-debug.ads [Ada] cortex_m_svd-nvic.ads [Ada] cortex_m_svd-systick.ads [Ada] cortex_m_svd-dwt.ads [Ada] cortex_m_svd.ads [Ada] cortex_m_svd-scb.ads [Ada] cortex_m_config.ads [Ada] cortex_m-debug.adb [Ada] cortex_m-systick.adb [Ada] cortex_m-reset.adb [Ada] cortex_m-hints.adb [Ada] memory_barriers.adb [Ada] cortex_m.ads [Ada] cortex_m-dwt.adb [Ada] semihosting.adb [Ada] semihosting-filesystem.adb [Ada] atomic-critical_section.adb [Ada] atomic-signed.adb [Ada] atomic-unsigned.adb [Ada] atomic.adb [Ada] atomic_config.ads [Ada] atomic-signed_16.ads [Ada] atomic-signed_8.ads [Ada] atomic-unsigned_32.ads [Ada] atomic-unsigned_16.ads [Ada] atomic-unsigned_8.ads [Ada] atomic-signed_32.ads [Asm_Cpp] crt0.S [Ada] rp2040_hal_config.ads [Ada] rp-pwm-interrupts.adb [Ada] rp-gpio-interrupts.adb [Ada] rp_interrupts.adb [Ada] rp-timer-interrupts.adb [Ada] rp-device.ads [Ada] rp2040_svd-xip_ssi.ads [Ada] rp2040_svd-io_qspi.ads [Ada] rp2040_svd-clocks.ads [Ada] rp2040_svd-resets.ads [Ada] rp2040_svd-vreg_and_chip_reset.ads [Ada] rp2040_svd.ads [Ada] rp2040_svd-io_bank0.ads [Ada] rp2040_svd-pio.ads [Ada] rp2040_svd-pll.ads [Ada] rp2040_svd-psm.ads [Ada] rp2040_svd-adc.ads [Ada] rp2040_svd-rosc.ads [Ada] rp2040_svd-i2c.ads [Ada] rp2040_svd-usbctrl_dpram.ads [Ada] rp2040_svd-xosc.ads [Ada] rp2040_svd-pads_qspi.ads [Ada] rp2040_svd-pwm.ads [Ada] rp2040_svd-timer.ads [Ada] rp2040_svd-uart.ads [Ada] rp2040_svd-spi.ads [Ada] rp2040_svd-sysinfo.ads [Ada] rp2040_svd-usbctrl_regs.ads [Ada] rp2040_svd-sio.ads [Ada] rp2040_svd-rtc.ads [Ada] rp2040_svd-interrupts.ads [Ada] rp2040_svd-pads_bank0.ads [Ada] rp2040_svd-ppb.ads [Ada] rp2040_svd-busctrl.ads [Ada] rp2040_svd-xip_ctrl.ads [Ada] rp2040_svd-syscfg.ads [Ada] rp2040_svd-dma.ads [Ada] rp2040_svd-watchdog.ads [Ada] rp2040_svd-tbman.ads [Ada] rp-pio.adb [Ada] rp-rom.adb [Ada] rp-dma.adb [Ada] rp-pio-ws2812.adb [Ada] rp-watchdog.adb [Ada] rp-pio-touch_sense_discharge_pio.ads [Ada] rp-reset.adb [Ada] rp-multicore-fifo.adb [Ada] rp-pwm.adb [Ada] rp-rom-floating_point.adb [Ada] rp-timer.adb [Ada] rp-interpolator.ads [Ada] rp-pio-touch_sense.adb [Ada] rp-flash-cache.adb [Ada] rp-flash.adb [Ada] rp-adc.adb [Ada] rp-pio-audio_i2s_pio.ads [Ada] rp-pio-ws2812_pio.ads [Ada] rp-uart.adb [Ada] rp-spi.adb [Ada] rp-rtc.adb [Ada] rp-gpio.adb [Ada] rp-i2c_master.adb [Ada] rp-pio-encoding.ads [Ada] rp-pio-touch_sense_charge_pio.ads [Ada] rp-pio-audio_i2s.adb [Ada] rp-usb_device.adb [Ada] rp-clock.adb [Ada] rp-i2c.adb [Ada] rp-multicore.adb [Ada] rp-multicore-spinlocks.adb [Ada] rp.ads Build Libraries [gprlib] Atomic.lexch [gprlib] hal.lexch [gprlib] Cortex_M.lexch [archive] libAtomic.a [archive] libhal.a [index] libAtomic.a [index] libhal.a [gprlib] Bbqueue.lexch [gprlib] Usb_Embedded.lexch [archive] libCortex_M.a [archive] libBbqueue.a [index] libBbqueue.a [index] libCortex_M.a [gprlib] Rp2040_Hal.lexch [archive] libUsb_Embedded.a [index] libUsb_Embedded.a [archive] libRp2040_Hal.a [index] libRp2040_Hal.a Success: Build finished successfully in 7.50 seconds. Found declared GPR file: rp2040_hal.gpr [alr test] Test completed SUCCESSFULLY