Test ran at 2025-09-12 00:48:11.152374+00:00 SOLUTION: stm32f0x2_hal=0.1.0: Drivers and HAL for stm32f0x2 mcu family Origin: commit 85eaea484c5010ac2fdb6b8849b20af4ae77a101 from https://github.com/dkm/stm32f0x2_hal-ada.git Properties: Author: AdaCore Author: Marc Poulhiès Config set: atomic {backend := armv6m} Config set: cortex_m {core := m0} Config type: Use_Startup : Boolean default: 'true' Configuration: no modifiers Description: Drivers and HAL for stm32f0x2 mcu family License: GPL-3.0-or-later AND BSD-3-Clause Maintainer: Marc Poulhiès Maintainers_Logins: dkm Name: stm32f0x2_hal Tag: embedded Tag: stm32f0 Tag: nostd Tag: drivers Version: 0.1.0 Website: https://github.com/dkm/stm32f0x2_hal-ada Dependencies (direct): cortex_m~0.5 gnat_arm_elf^12 hal~0.3 usb_embedded~0.3 Dependencies (solution): atomic=0.5.0 bbqueue=0.3.2 cortex_m=0.5.0 gnat=12.2.1 (gnat_arm_elf) gnat_arm_elf=12.2.1 hal=0.3.1 usb_embedded=0.3.0 Dependencies (graph): bbqueue=0.3.2 --> atomic=0.5.0 (~0.5) bbqueue=0.3.2 --> 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.1 (~0.3) stm32f0x2_hal=0.1.0 --> cortex_m=0.5.0 (~0.5) stm32f0x2_hal=0.1.0 --> gnat_arm_elf=12.2.1 (^12) stm32f0x2_hal=0.1.0 --> hal=0.3.1 (~0.3) stm32f0x2_hal=0.1.0 --> usb_embedded=0.3.0 (~0.3) usb_embedded=0.3.0 --> bbqueue=0.3.2 (~0.3.0) usb_embedded=0.3.0 --> hal=0.3.1 (~0.3) LOG: [alr test] Testing stm32f0x2_hal=0.1.0 [alr test] Spawning retrieval for remote crate: alr -d -n get stm32f0x2_hal=0.1.0 Note: Deploying stm32f0x2_hal=0.1.0... Note: Deploying atomic=0.5.0... Note: Deploying gnat_arm_elf=12.2.1... #=#=# 0.0% # 1.7% # 2.6% ### 4.7% ### 5.2% ##### 7.2% ##### 7.7% ###### 9.4% ####### 10.3% ######## 12.2% ######### 12.8% ########## 14.9% ########### 16.1% ############ 17.6% ############# 18.1% ############## 20.1% ############### 21.1% ################ 22.8% ################ 23.1% ################# 24.2% ################# 24.2% ################## 25.7% ################### 27.0% #################### 28.3% ##################### 30.1% ###################### 30.8% ###################### 31.9% ###################### 31.9% ######################## 33.4% ######################### 35.5% ######################### 36.0% ######################### 36.0% ########################## 36.2% ########################## 36.5% ########################### 37.7% ########################### 38.5% ############################ 39.4% ############################ 39.4% ############################# 40.7% ############################# 41.1% ############################## 42.6% ############################### 43.7% ############################### 43.7% ############################### 43.8% ############################### 44.3% ################################ 45.8% ################################# 46.3% ################################# 47.2% ################################## 48.4% ################################### 48.8% #################################### 50.2% ##################################### 51.4% ###################################### 53.0% ###################################### 54.0% ######################################## 56.0% ######################################## 56.8% ########################################## 58.6% ########################################## 59.3% ############################################ 61.1% ############################################ 61.7% ############################################# 63.4% ############################################## 64.2% ############################################### 66.1% ################################################ 66.8% ################################################# 68.9% ################################################# 69.4% ################################################## 70.4% ################################################### 71.5% ################################################### 71.9% ##################################################### 73.8% ##################################################### 74.5% ####################################################### 76.6% ####################################################### 77.2% ######################################################## 78.1% ######################################################## 79.0% ######################################################### 79.6% ########################################################## 81.7% ########################################################### 82.7% ############################################################ 84.3% ############################################################# 85.0% ############################################################## 86.5% ############################################################## 87.3% ################################################################ 89.4% ################################################################ 90.1% ################################################################## 91.7% ################################################################## 92.5% ################################################################### 94.2% #################################################################### 95.1% ##################################################################### 97.2% ###################################################################### 97.7% ####################################################################### 99.8% ######################################################################## 100.0% Note: gnat_arm_elf=12.2.1 installed successfully. Note: Deploying hal=0.3.1... Note: Deploying bbqueue=0.3.2... Note: Deploying cortex_m=0.5.0... Note: Deploying usb_embedded=0.3.0... stm32f0x2_hal=0.1.0 successfully retrieved. Dependencies were solved as follows: + atomic 0.5.0 (new,indirect) + bbqueue 0.3.2 (new,indirect) + cortex_m 0.5.0 (new) +b gnat 12.2.1 (new,gnat_arm_elf,indirect,binary) +b gnat_arm_elf 12.2.1 (new,binary) + hal 0.3.1 (new) + usb_embedded 0.3.0 (new) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building stm32f0x2_hal=0.1.0/stm32f0x2_hal.gpr... Setup [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 Atomic [mkdir] library directory for project Atomic [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 Stm32f0x2_Hal [mkdir] library directory for project Stm32f0x2_Hal Compile [Ada] atomic-critical_section.adb [Ada] atomic-unsigned.adb [Ada] atomic.adb [Ada] atomic-signed.adb [Ada] atomic_config.ads [Ada] atomic-signed_32.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] bbqueue_config.ads [Ada] bbqueue.adb [Ada] bbqueue-buffers-framed.adb [Ada] bbqueue-buffers.adb [Ada] usb_embedded_config.ads [Ada] usb-lang.ads [Ada] usb-device-hid-keyboard.adb [Ada] usb-device-hid-joystick.adb [Ada] usb-hal.ads [Ada] usb-hal-device.ads [Ada] usb-device-hid-gamepad.adb [Ada] usb.adb [Ada] usb-device-hid.adb [Ada] usb-utils.adb [Ada] usb-device-control.adb [Ada] usb-logging.ads [Ada] usb-device.adb [Ada] usb-device-hid-mouse.adb [Ada] usb-device-midi.adb [Ada] usb-device-serial.adb [Ada] usb-logging-device__null.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-flash.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] 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] cortex_m_config.ads [Ada] semihosting.adb [Ada] memory_barriers.adb [Ada] cortex_m-dwt.adb [Ada] cortex_m.ads [Ada] cortex_m-hints.adb [Ada] semihosting-filesystem.adb [Ada] cortex_m-systick.adb [Ada] cortex_m-debug.adb [Asm_Cpp] crt0.S [Ada] stm32-device.adb [Ada] stm32_svd-adc.ads [Ada] stm32_svd-tim.ads [Ada] stm32_svd-usb.ads [Ada] stm32_svd-crc.ads [Ada] stm32_svd-tsc.ads [Ada] stm32_svd-usart.ads [Ada] stm32_svd-pwr.ads [Ada] stm32_svd-nvic.ads [Ada] stm32_svd-iwdg.ads [Ada] stm32_svd-i2c.ads [Ada] stm32_svd-syscfg.ads [Ada] stm32_svd-dma.ads [Ada] stm32_svd-dbgmcu.ads [Ada] stm32_svd-wwdg.ads [Ada] stm32_svd-crs.ads [Ada] stm32_svd-cec.ads [Ada] stm32_svd-gpio.ads [Ada] stm32_svd-rtc.ads [Ada] stm32_svd.ads [Ada] stm32_svd-scb.ads [Ada] stm32_svd-flash.ads [Ada] stm32_svd-spi.ads [Ada] stm32_svd-stk.ads [Ada] stm32_svd-dac.ads [Ada] stm32_svd-can.ads [Ada] stm32_svd-exti.ads [Ada] stm32_svd-rcc.ads [Ada] stm32-exti.adb [Ada] stm32-usb_device.adb [Ada] stm32-rcc.adb [Ada] stm32-timers.adb [Ada] stm32-syscfg.adb [Ada] stm32-gpio.adb [Ada] stm32-usb_serialtrace.adb [Ada] stm32-spi.adb [Ada] stm32.ads [Ada] stm32-usarts.adb [Ada] stm32-usb_btable.ads Build Libraries [gprlib] hal.lexch [gprlib] Cortex_M.lexch [archive] libhal.a [index] libhal.a [gprlib] Atomic.lexch [gprlib] Bbqueue.lexch [archive] libCortex_M.a [archive] libAtomic.a [index] libCortex_M.a [index] libAtomic.a [gprlib] Usb_Embedded.lexch [archive] libBbqueue.a [index] libBbqueue.a [gprlib] stm32f0x2_hal.lexch [archive] libUsb_Embedded.a [index] libUsb_Embedded.a [archive] libstm32f0x2_hal.a [index] libstm32f0x2_hal.a Success: Build finished successfully in 3.75 seconds. Found declared GPR file: stm32f0x2_hal.gpr [alr test] Test completed SUCCESSFULLY