Test ran at 2025-06-11 00:43:08.920706+00:00 SOLUTION: samd51_hal=0.3.0: Drivers and HAL for the SAMD51 micro-controller family Origin: commit cc5473956b60b8cdceea7069c3e3c4e09e51d078 from https://github.com/Fabien-Chouteau/samd51-hal.git Properties: Auto_Gpr_With: auto-gpr-with=false Configuration: no modifiers Description: Drivers and HAL for the SAMD51 micro-controller family License: BSD-3-Clause Maintainer: chouteau@adacore.com Maintainers_Logins: Fabien-Chouteau Name: samd51_hal Project_File: ATSAMD51G18A.gpr Project_File: ATSAMD51J18A.gpr Project_File: ATSAMD51J20A.gpr Project_File: ATSAMD51N20A.gpr Project_File: ATSAMD51P20A.gpr Project_File: ATSAMD51G19A.gpr Project_File: ATSAMD51J19A.gpr Project_File: ATSAMD51N19A.gpr Project_File: ATSAMD51P19A.gpr Tag: embedded Tag: nostd Tag: atsamd51 Tag: microchip Tag: atmel Tag: drivers Version: 0.3.0 Website: https://github.com/Fabien-Chouteau/samd51-hal Dependencies (direct): cortex_m~0.1 gnat_arm_elf^11.2.2 hal~0.1 usb_embedded~0.2 Dependencies (solution): atomic=0.5.0 bbqueue=0.3.2 cortex_m=0.1.0 gnat=11.2.4 (gnat_arm_elf) gnat_arm_elf=11.2.4 hal=0.1.0 usb_embedded=0.2.0 Dependencies (graph): bbqueue=0.3.2 --> atomic=0.5.0 (~0.5) bbqueue=0.3.2 --> gnat=11.2.4 (gnat_arm_elf) (>=10) cortex_m=0.1.0 --> hal=0.1.0 (^0.1.0) samd51_hal=0.3.0 --> cortex_m=0.1.0 (~0.1) samd51_hal=0.3.0 --> gnat_arm_elf=11.2.4 (^11.2.2) samd51_hal=0.3.0 --> hal=0.1.0 (~0.1) samd51_hal=0.3.0 --> usb_embedded=0.2.0 (~0.2) usb_embedded=0.2.0 --> bbqueue=0.3.2 (~0.3.0) usb_embedded=0.2.0 --> hal=0.1.0 (~0.1.0) LOG: Spawning: alr -d -n get --build samd51_hal=0.3.0 Note: Deploying samd51_hal=0.3.0... Note: Building samd51_hal=0.3.0/ATSAMD51G18A.gpr (1/9)... Setup [mkdir] object directory for project ATSAMD51G18A Compile [Ada] sam-device.ads [Ada] sam-clock_generator-ids.ads [Ada] sam-interrupt_names.ads [Ada] sam-main_clock.adb [Ada] sam-functions.ads [Ada] sam-sercom.adb [Ada] sam-sercom-spi.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam-port.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam_svd-usb.ads [Ada] sam-usb.adb [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam_svd-adc.ads [Ada] sam-adc.adb [Ada] sam_svd-tc.ads [Ada] sam-tc.adb [Ada] sam-eic.adb [Ada] sam_svd-eic.ads [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-dmac.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal=0.3.0/ATSAMD51J18A.gpr (2/9)... Setup [mkdir] object directory for project ATSAMD51J18A Compile [Ada] sam-device.ads [Ada] sam-clock_generator-ids.ads [Ada] sam-interrupt_names.ads [Ada] sam-main_clock.adb [Ada] sam-functions.ads [Ada] sam-sercom.adb [Ada] sam-sercom-spi.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam-port.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam_svd-usb.ads [Ada] sam-usb.adb [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam_svd-adc.ads [Ada] sam-adc.adb [Ada] sam_svd-tc.ads [Ada] sam-tc.adb [Ada] sam-eic.adb [Ada] sam_svd-eic.ads [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-dmac.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal=0.3.0/ATSAMD51J20A.gpr (3/9)... Setup [mkdir] object directory for project ATSAMD51J20A Compile [Ada] sam-device.ads [Ada] sam-clock_generator-ids.ads [Ada] sam-interrupt_names.ads [Ada] sam-main_clock.adb [Ada] sam-functions.ads [Ada] sam-sercom.adb [Ada] sam-sercom-spi.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam-port.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam_svd-usb.ads [Ada] sam-usb.adb [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam_svd-adc.ads [Ada] sam-adc.adb [Ada] sam_svd-tc.ads [Ada] sam-tc.adb [Ada] sam-eic.adb [Ada] sam_svd-eic.ads [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-dmac.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal=0.3.0/ATSAMD51N20A.gpr (4/9)... Setup [mkdir] object directory for project ATSAMD51N20A Compile [Ada] sam-device.ads [Ada] sam-clock_generator-ids.ads [Ada] sam-interrupt_names.ads [Ada] sam-main_clock.adb [Ada] sam-functions.ads [Ada] sam-sercom.adb [Ada] sam-sercom-spi.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam-port.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam_svd-usb.ads [Ada] sam-usb.adb [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam_svd-adc.ads [Ada] sam-adc.adb [Ada] sam_svd-tc.ads [Ada] sam-tc.adb [Ada] sam-eic.adb [Ada] sam_svd-eic.ads [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-dmac.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal=0.3.0/ATSAMD51P20A.gpr (5/9)... Setup [mkdir] object directory for project ATSAMD51P20A Compile [Ada] sam-device.ads [Ada] sam-clock_generator-ids.ads [Ada] sam-interrupt_names.ads [Ada] sam-main_clock.adb [Ada] sam-functions.ads [Ada] sam-sercom.adb [Ada] sam-sercom-spi.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam-port.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam_svd-usb.ads [Ada] sam-usb.adb [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam_svd-adc.ads [Ada] sam-adc.adb [Ada] sam_svd-tc.ads [Ada] sam-tc.adb [Ada] sam-eic.adb [Ada] sam_svd-eic.ads [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-dmac.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal=0.3.0/ATSAMD51G19A.gpr (6/9)... Setup [mkdir] object directory for project ATSAMD51G19A Compile [Ada] sam-device.ads [Ada] sam-clock_generator-ids.ads [Ada] sam-interrupt_names.ads [Ada] sam-main_clock.adb [Ada] sam-functions.ads [Ada] sam-sercom.adb [Ada] sam-sercom-spi.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam-port.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam_svd-usb.ads [Ada] sam-usb.adb [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam_svd-adc.ads [Ada] sam-adc.adb [Ada] sam_svd-tc.ads [Ada] sam-tc.adb [Ada] sam-eic.adb [Ada] sam_svd-eic.ads [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-dmac.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal=0.3.0/ATSAMD51J19A.gpr (7/9)... Setup [mkdir] object directory for project ATSAMD51J19A Compile [Ada] sam-device.ads [Ada] sam-clock_generator-ids.ads [Ada] sam-interrupt_names.ads [Ada] sam-main_clock.adb [Ada] sam-functions.ads [Ada] sam-sercom.adb [Ada] sam-sercom-spi.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam-port.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam_svd-usb.ads [Ada] sam-usb.adb [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam_svd-adc.ads [Ada] sam-adc.adb [Ada] sam_svd-tc.ads [Ada] sam-tc.adb [Ada] sam-eic.adb [Ada] sam_svd-eic.ads [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-dmac.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal=0.3.0/ATSAMD51N19A.gpr (8/9)... Setup [mkdir] object directory for project ATSAMD51N19A Compile [Ada] sam-device.ads [Ada] sam-clock_generator-ids.ads [Ada] sam-interrupt_names.ads [Ada] sam-main_clock.adb [Ada] sam-functions.ads [Ada] sam-sercom.adb [Ada] sam-sercom-spi.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam-port.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam_svd-usb.ads [Ada] sam-usb.adb [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam_svd-adc.ads [Ada] sam-adc.adb [Ada] sam_svd-tc.ads [Ada] sam-tc.adb [Ada] sam-eic.adb [Ada] sam_svd-eic.ads [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-dmac.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal=0.3.0/ATSAMD51P19A.gpr (9/9)... Setup [mkdir] object directory for project ATSAMD51P19A Compile [Ada] sam-device.ads [Ada] sam-clock_generator-ids.ads [Ada] sam-interrupt_names.ads [Ada] sam-main_clock.adb [Ada] sam-functions.ads [Ada] sam-sercom.adb [Ada] sam-sercom-spi.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam-port.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam_svd-usb.ads [Ada] sam-usb.adb [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam_svd-adc.ads [Ada] sam-adc.adb [Ada] sam_svd-tc.ads [Ada] sam-tc.adb [Ada] sam-eic.adb [Ada] sam_svd-eic.ads [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-dmac.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam_svd.ads [Ada] sam.ads samd51_hal=0.3.0 successfully retrieved and built. Dependencies were solved as follows: + atomic 0.5.0 (new,indirect) + bbqueue 0.3.2 (new,indirect) + cortex_m 0.1.0 (new) +b gnat 11.2.4 (new,gnat_arm_elf,indirect,binary) +b gnat_arm_elf 11.2.4 (new,binary) + hal 0.1.0 (new) + usb_embedded 0.2.0 (new) Found declared GPR file: ATSAMD51G18A.gpr Found declared GPR file: ATSAMD51J18A.gpr Found declared GPR file: ATSAMD51J20A.gpr Found declared GPR file: ATSAMD51N20A.gpr Found declared GPR file: ATSAMD51P20A.gpr Found declared GPR file: ATSAMD51G19A.gpr Found declared GPR file: ATSAMD51J19A.gpr Found declared GPR file: ATSAMD51N19A.gpr Found declared GPR file: ATSAMD51P19A.gpr