Test ran at 2024-01-13 12:24:21.278832+00:00

SOLUTION:
rp2040_hal=2.0.1: Drivers and HAL for the RP2040 micro-controller family
Origin: commit b917c49f9adb48b65dc7c73cee4a98ec3f774d51 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 <jeremy@synack.me>
   Maintainers_Logins: JeremyGrosser
   Name: rp2040_hal
   Tag: embedded
   Tag: nostd
   Tag: rp2040
   Tag: raspberrypi
   Tag: drivers
   Version: 2.0.1
   Website: https://pico-doc.synack.me/
Dependencies (direct):
   atomic~0.5
   cortex_m~0.5
   gnat_arm_elf^12.2
   hal~0.3
   usb_embedded~0.3
Dependencies (solution):
   atomic=0.5.0
   bbqueue=0.3.1
   cortex_m=0.5.0
   gnat=12.2.1 (gnat_arm_elf) (installed)
   gnat_arm_elf=12.2.1 (installed)
   hal=0.3.0
   usb_embedded=0.3.0
Dependencies (graph):
   bbqueue=0.3.1      --> atomic=0.5.0 (~0.5)              
   bbqueue=0.3.1      --> gnat=12.2.1 (gnat_arm_elf) (>=10)
   cortex_m=0.5.0     --> gnat_arm_elf=12.2.1 (>=12)       
   cortex_m=0.5.0     --> hal=0.3.0 (~0.3)                 
   rp2040_hal=2.0.1   --> atomic=0.5.0 (~0.5)              
   rp2040_hal=2.0.1   --> cortex_m=0.5.0 (~0.5)            
   rp2040_hal=2.0.1   --> gnat_arm_elf=12.2.1 (^12.2)      
   rp2040_hal=2.0.1   --> hal=0.3.0 (~0.3)                 
   rp2040_hal=2.0.1   --> usb_embedded=0.3.0 (~0.3)        
   usb_embedded=0.3.0 --> bbqueue=0.3.1 (~0.3.0)           
   usb_embedded=0.3.0 --> hal=0.3.0 (~0.3)                 


LOG:
Note: Deploying rp2040_hal=2.0.1...
Note: Deploying gnat_arm_elf=12.2.1...
#=#=#                                                                         
##O#-#                                                                        
##O=#  #                                                                      

                                                                           0.0%
                                                                           0.2%
                                                                           0.7%
#                                                                          1.5%
##                                                                         2.8%
###                                                                        5.3%
######                                                                     9.7%
########                                                                  12.2%
#########                                                                 13.8%
###########                                                               15.5%
############                                                              17.3%
#############                                                             19.0%
##############                                                            20.7%
################                                                          22.5%
#################                                                         24.2%
##################                                                        25.8%
###################                                                       27.7%
#####################                                                     29.3%
######################                                                    31.0%
#######################                                                   32.8%
########################                                                  34.5%
##########################                                                36.1%
###########################                                               38.0%
############################                                              39.6%
#############################                                             41.3%
###############################                                           43.2%
################################                                          44.8%
#################################                                         46.5%
##################################                                        48.3%
###################################                                       50.0%
#####################################                                     51.6%
######################################                                    53.5%
#######################################                                   55.1%
########################################                                  56.8%
##########################################                                58.6%
###########################################                               60.3%
############################################                              62.0%
#############################################                             63.8%
###############################################                           65.5%
################################################                          67.2%
#################################################                         69.0%
##################################################                        70.6%
####################################################                      72.3%
#####################################################                     74.1%
######################################################                    75.8%
#######################################################                   77.5%
#########################################################                 79.3%
##########################################################                81.0%
###########################################################               82.7%
############################################################              84.4%
##############################################################            86.1%
###############################################################           87.8%
################################################################          89.6%
#################################################################         91.3%
##################################################################        93.0%
####################################################################      94.7%
#####################################################################     96.3%
######################################################################    98.1%
#######################################################################  100.0%
######################################################################## 100.0%
Note: gnat_arm_elf=12.2.1 installed successfully.
Note: Deploying atomic=0.5.0...
Note: Deploying hal=0.3.0...
Note: Deploying bbqueue=0.3.1...
Note: Deploying cortex_m=0.5.0...
Note: Deploying usb_embedded=0.3.0...
Note: Building rp2040_hal/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.adb
   [Ada]          bbqueue-buffers-framed.adb
   [Ada]          bbqueue-buffers.adb
   [Ada]          usb_embedded_config.ads
   [Ada]          usb-device-hid.adb
   [Ada]          usb-device-hid-gamepad.adb
   [Ada]          usb-device.adb
   [Ada]          usb-lang.ads
   [Ada]          usb-device-hid-joystick.adb
   [Ada]          usb-device-midi.adb
   [Ada]          usb-device-serial.adb
   [Ada]          usb-logging.ads
   [Ada]          usb-device-hid-mouse.adb
   [Ada]          usb-utils.adb
   [Ada]          usb.adb
   [Ada]          usb-hal.ads
   [Ada]          usb-device-control.adb
   [Ada]          usb-device-hid-keyboard.adb
   [Ada]          usb-hal-device.ads
   [Ada]          usb-logging-device__null.adb
   [Ada]          hal-audio.ads
   [Ada]          hal-bitmap.ads
   [Ada]          hal-i2c.ads
   [Ada]          hal-block_drivers.ads
   [Ada]          hal-spi.ads
   [Ada]          hal-gpio.ads
   [Ada]          hal.ads
   [Ada]          hal-framebuffer.ads
   [Ada]          hal-sdmmc.adb
   [Ada]          hal-filesystem.ads
   [Ada]          hal-time.ads
   [Ada]          hal-dsi.ads
   [Ada]          hal-uart.ads
   [Ada]          hal-real_time_clock.ads
   [Ada]          hal-touch_panel.ads
   [Ada]          cortex_m-nvic.adb
   [Ada]          cortex_m-cache.adb
   [Ada]          cortex_m_svd-systick.ads
   [Ada]          cortex_m_svd-nvic.ads
   [Ada]          cortex_m_svd.ads
   [Ada]          cortex_m_svd-dwt.ads
   [Ada]          cortex_m_svd-debug.ads
   [Ada]          cortex_m_svd-scb.ads
   [Ada]          cortex_m_config.ads
   [Ada]          cortex_m-debug.adb
   [Ada]          cortex_m.ads
   [Ada]          semihosting-filesystem.adb
   [Ada]          semihosting.adb
   [Ada]          cortex_m-dwt.adb
   [Ada]          memory_barriers.adb
   [Ada]          cortex_m-systick.adb
   [Ada]          cortex_m-hints.adb
   [Ada]          atomic-critical_section.adb
   [Ada]          atomic-unsigned.adb
   [Ada]          atomic.adb
   [Ada]          atomic-signed.adb
   [Ada]          atomic_config.ads
   [Ada]          atomic-unsigned_8.ads
   [Ada]          atomic-signed_32.ads
   [Ada]          atomic-unsigned_32.ads
   [Ada]          atomic-unsigned_16.ads
   [Ada]          atomic-signed_8.ads
   [Ada]          atomic-signed_16.ads
   [Asm_Cpp]      crt0.S
   [Ada]          rp2040_hal_config.ads
   [Ada]          rp-gpio-interrupts.adb
   [Ada]          rp-pwm-interrupts.adb
   [Ada]          rp_interrupts.adb
   [Ada]          rp-timer-interrupts.adb
   [Ada]          rp-device.ads
   [Ada]          rp2040_svd-pwm.ads
   [Ada]          rp2040_svd-adc.ads
   [Ada]          rp2040_svd-interrupts.ads
   [Ada]          rp2040_svd-pll.ads
   [Ada]          rp2040_svd-xip_ctrl.ads
   [Ada]          rp2040_svd.ads
   [Ada]          rp2040_svd-vreg_and_chip_reset.ads
   [Ada]          rp2040_svd-sysinfo.ads
   [Ada]          rp2040_svd-timer.ads
   [Ada]          rp2040_svd-uart.ads
   [Ada]          rp2040_svd-syscfg.ads
   [Ada]          rp2040_svd-psm.ads
   [Ada]          rp2040_svd-pio.ads
   [Ada]          rp2040_svd-rtc.ads
   [Ada]          rp2040_svd-tbman.ads
   [Ada]          rp2040_svd-i2c.ads
   [Ada]          rp2040_svd-xip_ssi.ads
   [Ada]          rp2040_svd-xosc.ads
   [Ada]          rp2040_svd-ppb.ads
   [Ada]          rp2040_svd-io_bank0.ads
   [Ada]          rp2040_svd-usbctrl_dpram.ads
   [Ada]          rp2040_svd-watchdog.ads
   [Ada]          rp2040_svd-usbctrl_regs.ads
   [Ada]          rp2040_svd-io_qspi.ads
   [Ada]          rp2040_svd-pads_qspi.ads
   [Ada]          rp2040_svd-resets.ads
   [Ada]          rp2040_svd-spi.ads
   [Ada]          rp2040_svd-pads_bank0.ads
   [Ada]          rp2040_svd-rosc.ads
   [Ada]          rp2040_svd-dma.ads
   [Ada]          rp2040_svd-sio.ads
   [Ada]          rp2040_svd-clocks.ads
   [Ada]          rp2040_svd-busctrl.ads
   [Ada]          rp-flash-cache.adb
   [Ada]          rp-pwm.adb
   [Ada]          rp-gpio.adb
   [Ada]          rp-dma.adb
   [Ada]          rp-clock.adb
   [Ada]          rp-uart.adb
   [Ada]          rp-pio-encoding.ads
   [Ada]          rp-adc.adb
   [Ada]          rp-rom-floating_point.adb
   [Ada]          rp-usb_device.adb
   [Ada]          rp-pio-audio_i2s.adb
   [Ada]          rp-timer.adb
   [Ada]          rp-pio-ws2812.adb
   [Ada]          rp-i2c.adb
   [Ada]          rp-flash.adb
   [Ada]          rp-interpolator.ads
   [Ada]          rp-watchdog.adb
   [Ada]          rp-reset.adb
   [Ada]          rp-spi.adb
   [Ada]          rp-multicore-fifo.adb
   [Ada]          rp-pio-ws2812_pio.ads
   [Ada]          rp-multicore-spinlocks.adb
   [Ada]          rp-i2c_master.adb
   [Ada]          rp-pio.adb
   [Ada]          rp-pio-audio_i2s_pio.ads
   [Ada]          rp-rom.adb
   [Ada]          rp-multicore.adb
   [Ada]          rp-rtc.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]        libCortex_M.a
   [index]        libBbqueue.a
   [gprlib]       Rp2040_Hal.lexch
   [archive]      libUsb_Embedded.a
   [index]        libUsb_Embedded.a
   [archive]      libRp2040_Hal.a
   [index]        libRp2040_Hal.a
Build finished successfully in 4.74 seconds.

rp2040_hal=2.0.1 successfully retrieved and built.
Dependencies were solved as follows:

   +  atomic       0.5.0  (new)                                
   +  bbqueue      0.3.1  (new,indirect)                       
   +  cortex_m     0.5.0  (new)                                
   +i gnat         12.2.1 (new,installed,gnat_arm_elf,indirect)
   +i gnat_arm_elf 12.2.1 (new,installed)                      
   +  hal          0.3.0  (new)                                
   +  usb_embedded 0.3.0  (new)                                
Found declared GPR file: rp2040_hal.gpr