Test ran at 2025-07-18 00:57:07.247439+00:00 SOLUTION: rp2040_hal=2.4.2: Drivers and HAL for the RP2040 micro-controller family Origin: commit 3c9528073c427ed5374473b942cf5f83c7b9508e 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.4.2 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.4.2 --> atomic=1.0.0 (^1) rp2040_hal=2.4.2 --> cortex_m=1.1.0 (^1) rp2040_hal=2.4.2 --> gnat_arm_elf=14.2.1 (^14) rp2040_hal=2.4.2 --> hal=1.0.0 (^1) rp2040_hal=2.4.2 --> 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.4.2 [alr test] Spawning retrieval for remote crate: alr -d -n get rp2040_hal=2.4.2 Note: Deploying rp2040_hal=2.4.2... Note: Deploying atomic=1.0.0... Note: Deploying gnat_arm_elf=14.2.1... #=#=# 0.0% # 1.5% # 2.2% # 2.2% # 2.3% # 2.5% ## 2.9% ## 3.8% ### 4.4% ### 5.3% #### 6.2% #### 6.6% #### 6.9% ##### 7.1% ##### 7.4% ##### 7.7% ##### 7.9% ##### 8.2% ###### 8.5% ###### 8.5% ###### 8.8% ###### 8.9% ###### 9.0% ###### 9.0% ###### 9.1% ###### 9.2% ###### 9.2% ###### 9.3% ###### 9.4% ###### 9.5% ###### 9.5% ###### 9.6% ###### 9.7% ####### 9.8% ####### 9.9% ####### 10.0% ####### 10.1% ####### 10.2% ####### 10.3% ####### 10.4% ####### 10.6% ####### 10.7% ####### 10.8% ####### 10.9% ####### 11.0% ####### 11.0% ######## 12.0% ######### 13.3% ########## 14.5% ########### 15.5% ############ 17.3% ############ 17.9% ############# 19.4% ############## 19.9% ############## 19.9% ############## 20.4% ############## 20.7% ############### 20.9% ############### 21.1% ############### 21.7% ############### 21.9% ############### 22.1% ################ 23.4% ################# 24.3% ################# 24.5% ################# 24.8% ################## 25.1% ################## 25.4% ################## 25.7% ################## 26.0% ################## 26.4% ################### 26.5% #################### 28.0% #################### 28.7% ##################### 29.6% ###################### 30.7% ###################### 30.9% ###################### 31.9% ####################### 33.1% ######################### 34.9% ######################### 35.5% ########################## 37.0% ########################### 37.5% ############################ 39.2% ############################ 39.7% ############################ 39.7% ############################ 39.7% ############################ 39.7% ############################ 39.7% ############################ 39.7% ############################ 39.8% ############################ 39.8% ############################ 39.8% ############################ 39.8% ############################ 39.8% ############################ 39.8% ############################ 39.8% ############################ 39.8% ############################ 39.9% ############################ 39.9% ############################ 39.9% ############################ 39.9% ############################ 39.9% ############################ 39.9% ############################ 40.0% ############################ 40.0% ############################ 40.0% ############################ 40.0% ############################ 40.0% ############################ 40.1% ############################ 40.1% ############################ 40.1% ############################ 40.2% ############################ 40.2% ############################ 40.2% ############################ 40.3% ############################# 40.3% ############################# 40.3% ############################# 40.4% ############################# 40.4% ############################# 40.5% ############################# 40.5% ############################# 40.6% ############################# 40.6% ############################# 40.6% ############################# 40.7% ############################# 40.7% ############################# 40.8% ############################# 40.8% ############################# 40.9% ############################# 40.9% ############################# 41.0% ############################# 41.1% ############################# 41.1% ############################# 41.2% ############################# 41.2% ############################# 41.3% ############################# 41.4% ############################# 41.4% ############################# 41.5% ############################# 41.6% ############################# 41.7% ############################## 41.7% ############################## 41.8% ############################## 41.9% ############################## 42.0% ############################### 43.4% ############################### 44.1% ################################ 44.5% ################################ 44.8% ################################ 45.6% ################################# 46.3% ################################# 46.5% ################################## 47.6% ################################## 48.5% #################################### 50.0% #################################### 50.8% ##################################### 52.5% ###################################### 53.0% ####################################### 54.7% ####################################### 55.2% ####################################### 55.2% ####################################### 55.3% ######################################## 55.7% ######################################## 56.3% ######################################### 57.4% ########################################## 59.1% ########################################## 59.7% ########################################### 61.1% ############################################ 61.5% ############################################ 61.8% ############################################ 62.3% ############################################# 62.9% ############################################## 64.0% ############################################### 65.8% ############################################### 66.2% ############################################### 66.3% ############################################### 66.3% ############################################### 66.5% ############################################### 66.6% ################################################ 66.8% ################################################ 66.9% ################################################ 67.1% ################################################ 67.3% ################################################ 67.5% ################################################ 67.6% ################################################ 67.8% ################################################ 68.0% ################################################# 68.2% ################################################# 68.4% ################################################# 68.5% ################################################# 68.5% ################################################# 68.6% ################################################# 68.7% ################################################# 68.7% ################################################# 68.8% ################################################# 68.9% ################################################# 68.9% ################################################# 69.0% ################################################# 69.2% ################################################# 69.2% ################################################# 69.3% ################################################# 69.4% ################################################## 69.5% ################################################## 69.5% ################################################## 69.6% ################################################## 69.7% ################################################## 69.9% ################################################## 70.0% ################################################## 70.1% ################################################## 70.2% ################################################## 70.3% ################################################## 70.4% ################################################## 70.5% ################################################## 70.6% ################################################## 70.6% ################################################### 71.1% ################################################### 72.1% #################################################### 72.8% #################################################### 72.8% #################################################### 73.4% ##################################################### 73.6% ##################################################### 73.9% ##################################################### 74.1% ##################################################### 74.4% ##################################################### 74.6% ##################################################### 74.9% ###################################################### 75.0% ####################################################### 77.2% ######################################################## 78.6% ######################################################### 79.5% ########################################################## 81.2% ########################################################### 82.1% ########################################################### 82.5% ############################################################ 83.4% ############################################################ 83.8% ############################################################ 84.0% ############################################################ 84.1% ############################################################ 84.4% ############################################################# 84.8% ############################################################# 85.6% ############################################################# 86.1% ############################################################### 87.6% ############################################################### 88.3% ################################################################ 89.7% ################################################################# 90.5% ################################################################# 90.8% ################################################################# 91.1% ################################################################# 91.4% ################################################################## 91.8% ################################################################## 92.1% ################################################################## 92.5% ################################################################## 92.7% ################################################################### 93.9% #################################################################### 94.9% #################################################################### 95.3% ##################################################################### 96.4% ##################################################################### 97.1% ###################################################################### 98.0% ####################################################################### 99.0% ####################################################################### 99.7% ######################################################################## 100.0% Note: gnat_arm_elf=14.2.1 installed successfully. Note: Deploying hal=1.0.0... Note: Deploying bbqueue=1.0.0... Note: Deploying cortex_m=1.1.0... Note: Deploying usb_embedded=1.0.1... rp2040_hal=2.4.2 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.4.2/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.adb [Ada] bbqueue-buffers-framed.adb [Ada] bbqueue-buffers.adb [Ada] usb_embedded_config.ads [Ada] usb-device-hid.adb [Ada] usb-utils.adb [Ada] usb-lang.ads [Ada] usb.adb [Ada] usb-device-hid-joystick.adb [Ada] usb-hal-device.ads [Ada] usb-device-serial.adb [Ada] usb-device-hid-keyboard.adb [Ada] usb-device-hid-gamepad.adb [Ada] usb-logging.ads [Ada] usb-device-control.adb [Ada] usb-device-hid-mouse.adb [Ada] usb-device-midi.adb [Ada] usb-device.adb [Ada] usb-hal.ads [Ada] usb-logging-device__null.adb [Ada] hal-uart.ads [Ada] hal-audio.ads [Ada] hal-flash.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] 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] cortex_m_config.ads [Ada] memory_barriers.adb [Ada] cortex_m-hints.adb [Ada] semihosting-filesystem.adb [Ada] cortex_m-reset.adb [Ada] semihosting.adb [Ada] cortex_m-debug.adb [Ada] cortex_m-systick.adb [Ada] cortex_m.ads [Ada] cortex_m-dwt.adb [Ada] atomic-critical_section.adb [Ada] atomic-signed.adb [Ada] atomic-unsigned.adb [Ada] atomic.adb [Ada] atomic_config.ads [Ada] atomic-unsigned_32.ads [Ada] atomic-unsigned_8.ads [Ada] atomic-unsigned_16.ads [Ada] atomic-signed_16.ads [Ada] atomic-signed_32.ads [Ada] atomic-signed_8.ads [Asm_Cpp] crt0.S [Ada] rp2040_hal_config.ads [Ada] rp-gpio-interrupts.adb [Ada] rp-pwm-interrupts.adb [Ada] rp-timer-interrupts.adb [Ada] rp_interrupts.adb [Ada] rp-device.ads [Ada] rp2040_svd-psm.ads [Ada] rp2040_svd-i2c.ads [Ada] rp2040_svd-pio.ads [Ada] rp2040_svd-sysinfo.ads [Ada] rp2040_svd-sio.ads [Ada] rp2040_svd.ads [Ada] rp2040_svd-xosc.ads [Ada] rp2040_svd-adc.ads [Ada] rp2040_svd-io_bank0.ads [Ada] rp2040_svd-resets.ads [Ada] rp2040_svd-pads_bank0.ads [Ada] rp2040_svd-watchdog.ads [Ada] rp2040_svd-ppb.ads [Ada] rp2040_svd-interrupts.ads [Ada] rp2040_svd-usbctrl_regs.ads [Ada] rp2040_svd-pads_qspi.ads [Ada] rp2040_svd-xip_ctrl.ads [Ada] rp2040_svd-rtc.ads [Ada] rp2040_svd-usbctrl_dpram.ads [Ada] rp2040_svd-tbman.ads [Ada] rp2040_svd-pll.ads [Ada] rp2040_svd-pwm.ads [Ada] rp2040_svd-busctrl.ads [Ada] rp2040_svd-rosc.ads [Ada] rp2040_svd-xip_ssi.ads [Ada] rp2040_svd-io_qspi.ads [Ada] rp2040_svd-uart.ads [Ada] rp2040_svd-dma.ads [Ada] rp2040_svd-clocks.ads [Ada] rp2040_svd-spi.ads [Ada] rp2040_svd-syscfg.ads [Ada] rp2040_svd-timer.ads [Ada] rp2040_svd-vreg_and_chip_reset.ads [Ada] rp-timer.adb [Ada] rp-multicore.adb [Ada] rp-pio-audio_i2s_pio.ads [Ada] rp-i2c.adb [Ada] rp-adc.adb [Ada] rp-flash.adb [Ada] rp-clock.adb [Ada] rp-flash-cache.adb [Ada] rp-pio-touch_sense_discharge_pio.ads [Ada] rp-pio-touch_sense.adb [Ada] rp-multicore-spinlocks.adb [Ada] rp-spi.adb [Ada] rp-pio-ws2812.adb [Ada] rp-gpio.adb [Ada] rp-interpolator.ads [Ada] rp-pio-ws2812_pio.ads [Ada] rp-pio-encoding.ads [Ada] rp-pio-audio_i2s.adb [Ada] rp-dma.adb [Ada] rp-rom-floating_point.adb [Ada] rp-pio.adb [Ada] rp-pwm.adb [Ada] rp-multicore-fifo.adb [Ada] rp-rom.adb [Ada] rp-watchdog.adb [Ada] rp-i2c_master.adb [Ada] rp-uart.adb [Ada] rp-pio-touch_sense_charge_pio.ads [Ada] rp-usb_device.adb [Ada] rp-reset.adb [Ada] rp-rtc.adb [Ada] rp.ads Build Libraries [gprlib] Atomic.lexch [gprlib] hal.lexch [gprlib] Cortex_M.lexch [archive] libhal.a [archive] libAtomic.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.54 seconds. Found declared GPR file: rp2040_hal.gpr [alr test] Test completed SUCCESSFULLY