Test ran at 2025-03-12 01:12:50.376689+00:00

SOLUTION:
hirtos=2.0.0: High-Integrity RTOS
Origin: commit 66847740b093b19386959b0e7b65b0a09172a082 from https://github.com/jgrivera67/HiRTOS.git
Properties:
   Test run: alr build (from ${CRATE_ROOT}/sample_apps/fvp_armv8r_aarch32_hello)
   Test run: alr build (from ${CRATE_ROOT}/sample_apps/esp32_c3_hello)
   Author: J. German Rivera
   Config type: Platform : Enum (arm_fvp, esp32_c3) default: 'arm_fvp'
   Configuration: no modifiers
   Description: High-Integrity RTOS
   License: Apache-2.0
   Maintainer: J. German Rivera <jgrivera67@gmail.com>
   Maintainers_Logins: jgrivera67
   Name: hirtos
   Tag: rtos
   Version: 2.0.0
   Website: https://github.com/jgrivera67/HiRTOS


LOG:
Spawning: alr -d -n get hirtos=2.0.0
Note: Deploying hirtos=2.0.0...

hirtos=2.0.0 successfully retrieved.
There are no dependencies.
Note: Synchronizing workspace...
Dependencies automatically updated as follows:

   +b gnat_arm_elf 14.2.1 (new,binary)
   +b gnatprove    14.1.1 (new,binary)
   +b gprbuild     22.0.1 (new,binary)
   +. hirtos       2.0.0  (new,path=../..)
   
   i  The solution requires a toolchain that is
      not yet installed. Accepting the solution
      will download and install this toolchain.
Note: Deploying gnat_arm_elf=14.2.1...

#=#=#                                                                          
##                                                                         2.8%
#####                                                                      8.0%
#########                                                                 13.6%
############                                                              17.7%
################                                                          22.2%
####################                                                      28.5%
#######################                                                   32.9%
##########################                                                36.1%
#############################                                             41.0%
################################                                          45.2%
###################################                                       48.9%
######################################                                    53.6%
#########################################                                 58.1%
############################################                              61.9%
################################################                          67.4%
####################################################                      72.7%
#######################################################                   77.2%
#########################################################                 79.3%
###########################################################               82.6%
###############################################################           88.5%
##################################################################        92.5%
####################################################################      95.6%
######################################################################## 100.0%
Note: gnat_arm_elf=14.2.1 installed successfully.
Note: Deploying gnatprove=14.1.1...

#=#=#                                                                          
                                                                           0.0%
###                                                                        5.2%
#######                                                                   10.2%
##########                                                                15.3%
##############                                                            20.3%
#################                                                         24.8%
#####################                                                     29.2%
#####################                                                     29.8%
#####################                                                     30.3%
########################                                                  34.1%
###########################                                               38.1%
###########################                                               38.7%
#############################                                             41.4%
################################                                          45.5%
###################################                                       49.6%
#####################################                                     52.1%
#########################################                                 57.9%
##############################################                            64.9%
##################################################                        70.5%
######################################################                    76.3%
########################################################                  78.8%
#############################################################             85.9%
################################################################          90.3%
###################################################################       94.1%
#######################################################################   99.5%
######################################################################## 100.0%

Note: Building fvp_armv8r_aarch32_hello=0.1.0-dev/fvp_armv8r_aarch32_hello.gpr...
Setup
   [mkdir]        object directory for project Portable_Minimal_Ada_Rts
   [mkdir]        library directory for project Portable_Minimal_Ada_Rts
   [mkdir]        object directory for project HiRTOS
   [mkdir]        library directory for project HiRTOS
   [mkdir]        object directory for project Fvp_Armv8r_Aarch32_Hello
   [mkdir]        exec directory for project Fvp_Armv8r_Aarch32_Hello
Compile
   [Ada]          fvp_armv8r_aarch32_hello.adb
   [Ada]          a-except.adb
   [Ada]          s-fatlfl.ads
   [Ada]          s-maccod.ads
   [Ada]          i-c.adb
   [Ada]          a-uncdea.ads
   [Ada]          s-assert.adb
   [Ada]          gnat.ads
   [Ada]          system.ads
   [Ada]          a-assert.adb
   [Ada]          s-unstyp.ads
   [Ada]          ada.ads
   [Ada]          s-parame.ads
   [Ada]          s-stoele.adb
   [Ada]          s-fatllf.ads
   [Ada]          s-secsta.adb
   [Ada]          s-atacco.adb
   [Ada]          a-unccon.ads
   [Ada]          s-fatflt.ads
   [Ada]          interfac.ads
   [Ada]          g-souinf.ads
   [Ada]          s-fatgen.adb
   [Asm_Cpp]      hirtos_cpu_startup_asm.S
   [C]            mem_utils.c
   [Ada]          hirtos_config.ads
   [Ada]          hirtos_platform_parameters.ads
   [Ada]          hirtos_low_level_debug_interface.adb
   [Ada]          uart_driver.adb
   [Ada]          hirtos_cpu_arch_interface-interrupts.ads
   [Ada]          hirtos_cpu_arch_interface-interrupt_controller.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling.adb
   [Ada]          hirtos_cpu_arch_interface-system_registers.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling-arch_specific.adb
   [Ada]          hirtos_cpu_arch_interface-tick_timer.adb
   [Ada]          hirtos_cpu_arch_interface.adb
   [Ada]          hirtos_cpu_multi_core_interface.adb
   [Ada]          hirtos_cpu_arch_interface-thread_context.adb
   [Ada]          hirtos_cpu_arch_parameters.ads
   [Ada]          hirtos_cpu_arch_interface-memory_protection.adb
   [Ada]          hirtos_cpu_arch_interface-memory_protection-el1_mpu.adb
   [Ada]          hirtos_cpu_startup_interface.adb
   [Ada]          hirtos_cpu_arch_interface_private.ads
   [Ada]          number_conversion_utils.adb
   [Ada]          bit_sized_integer_types.ads
   [Ada]          memory_utils.adb
   [Ada]          hirtos-condvar_private.ads
   [Ada]          hirtos-rtos_private.adb
   [Ada]          hirtos-thread_private.adb
   [Ada]          hirtos-mutex.adb
   [Ada]          hirtos.adb
   [Ada]          hirtos-memory_protection_private.adb
   [Ada]          hirtos-thread.adb
   [Ada]          hirtos-debug.adb
   [Ada]          hirtos-condvar.adb
   [Ada]          hirtos-memory_protection.adb
   [Ada]          hirtos-timer_private.adb
   [Ada]          hirtos-timer.adb
   [Ada]          hirtos-interrupt_handling_private.adb
   [Ada]          hirtos-interrupt_handling.adb
   [Ada]          hirtos_config_parameters.ads
   [Ada]          generic_execution_stack.ads
   [Ada]          hirtos-mutex_private.adb
   [Ada]          generic_linked_list.adb
   [Ada]          app_threads.adb
   [Ada]          hirtos_platform_interface.adb
Build Libraries
   [gprlib]       gnat.lexch
   [archive]      libgnat.a
   [gprlib]       HiRTOS.lexch
   [index]        libgnat.a
   [bind SAL]     HiRTOS
   [Ada]          b__HiRTOS.adb
   [objcopy]      b__HiRTOS.o
   [archive]      libHiRTOS.a
   [index]        libHiRTOS.a
Bind
   [gprbind]      fvp_armv8r_aarch32_hello.bexch
   [Ada]          fvp_armv8r_aarch32_hello.ali
Link
   [link]         fvp_armv8r_aarch32_hello.adb
/root/.local/share/alire/toolchains/gnat_arm_elf_14.2.1_524d4d41/bin/../lib/gcc/arm-eabi/14.2.0/../../../../arm-eabi/bin/ld: warning: /home/runner/work/alire-crates-ci/alire-crates-ci/test/a649a90a-3bab-4c62-a1cf-bb02e1602454/hirtos_2.0.0_66847740/sample_apps/fvp_armv8r_aarch32_hello/bin//fvp_armv8r_aarch32_hello.elf has a LOAD segment with RWX permissions
Note: Running post-build actions for fvp_armv8r_aarch32_hello=0.1.0-dev...
Success: Build finished successfully in 2.20 seconds.
Note: Synchronizing workspace...
Dependencies automatically updated as follows:

   +b gnat_riscv64_elf 14.2.1 (new,binary)
   +b gnatprove        14.1.1 (new,binary)
   +b gprbuild         22.0.1 (new,binary)
   +. hirtos           2.0.0  (new,path=../..)
   
   i  The solution requires a toolchain that is
      not yet installed. Accepting the solution
      will download and install this toolchain.
Note: Deploying gnat_riscv64_elf=14.2.1...

#=#=#                                                                          
###                                                                        4.5%
######                                                                     9.7%
#########                                                                 13.4%
##############                                                            20.3%
#################                                                         25.0%
######################                                                    31.0%
#########################                                                 34.9%
##########################                                                37.0%
###############################                                           43.5%
#################################                                         46.7%
#######################################                                   54.3%
#########################################                                 57.2%
############################################                              61.9%
##############################################                            64.2%
###############################################                           66.6%
##################################################                        69.5%
######################################################                    75.2%
########################################################                  78.5%
##########################################################                80.6%
###########################################################               83.3%
#############################################################             86.0%
#################################################################         90.7%
##################################################################        93.0%
######################################################################    98.5%
######################################################################## 100.0%
Note: gnat_riscv64_elf=14.2.1 installed successfully.

Note: Building esp32_c3_hello=0.1.0-dev/esp32_c3_hello.gpr...
Setup
   [mkdir]        object directory for project Esp32_C3_Hello
   [mkdir]        exec directory for project Esp32_C3_Hello
Compile
   [Ada]          esp32_c3_hello.adb
   [Ada]          a-except.adb
   [Ada]          s-fatlfl.ads
   [Ada]          s-maccod.ads
   [Ada]          i-c.adb
   [Ada]          a-uncdea.ads
   [Ada]          s-assert.adb
   [Ada]          gnat.ads
   [Ada]          system.ads
   [Ada]          a-assert.adb
   [Ada]          s-unstyp.ads
   [Ada]          ada.ads
   [Ada]          s-parame.ads
   [Ada]          s-stoele.adb
   [Ada]          s-fatllf.ads
   [Ada]          s-secsta.adb
   [Ada]          s-atacco.adb
   [Ada]          a-unccon.ads
   [Ada]          s-fatflt.ads
   [Ada]          interfac.ads
   [Ada]          g-souinf.ads
   [Ada]          s-fatgen.adb
   [Asm_Cpp]      hirtos_cpu_startup_asm.S
   [C]            mem_utils.c
   [Ada]          hirtos_config.ads
   [Ada]          esp32_c3.ads
   [Ada]          esp32_c3-uart.ads
   [Ada]          hirtos_platform_parameters.ads
   [Ada]          hirtos_low_level_debug_interface.adb
   [Ada]          uart_driver.adb
   [Ada]          hirtos_cpu_arch_interface-interrupts.ads
   [Ada]          hirtos_cpu_arch_interface-interrupt_controller.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling.adb
   [Ada]          hirtos_cpu_arch_interface-tick_timer.adb
   [Ada]          hirtos_cpu_arch_interface.adb
   [Ada]          hirtos_cpu_multi_core_interface.adb
   [Ada]          hirtos_cpu_arch_interface-thread_context.adb
   [Ada]          hirtos_cpu_arch_parameters.ads
   [Ada]          hirtos_cpu_arch_interface_private.adb
   [Ada]          hirtos_cpu_arch_interface-memory_protection.adb
   [Ada]          hirtos_cpu_startup_interface.adb
   [Ada]          number_conversion_utils.adb
   [Ada]          bit_sized_integer_types.ads
   [Ada]          memory_utils.adb
   [Ada]          hirtos-condvar_private.ads
   [Ada]          hirtos-rtos_private.adb
   [Ada]          hirtos-thread_private.adb
   [Ada]          hirtos-mutex.adb
   [Ada]          hirtos.adb
   [Ada]          hirtos-memory_protection_private.adb
   [Ada]          hirtos-thread.adb
   [Ada]          hirtos-debug.adb
   [Ada]          hirtos-condvar.adb
   [Ada]          hirtos-memory_protection.adb
   [Ada]          hirtos-timer_private.adb
   [Ada]          hirtos-timer.adb
   [Ada]          hirtos-interrupt_handling_private.adb
   [Ada]          hirtos-interrupt_handling.adb
   [Ada]          hirtos_config_parameters.ads
   [Ada]          generic_execution_stack.ads
   [Ada]          hirtos-mutex_private.adb
   [Ada]          generic_linked_list.adb
   [Ada]          app_threads.adb
   [Ada]          esp32_c3-gpio.ads
   [Ada]          hirtos_platform_interface.adb
   [Ada]          watchdog_driver.adb
   [Ada]          esp32_c3-rtc_cntl.ads
   [Ada]          esp32_c3-timg.ads
   [Ada]          esp32_c3-esp_system.ads
   [Ada]          esp32_c3-interrupt_core0.ads
   [Ada]          esp32_c3-sensitive.ads
   [Ada]          esp32_c3-systimer.ads
Build Libraries
   [gprlib]       gnat.lexch
   [archive]      libgnat.a
   [gprlib]       HiRTOS.lexch
   [index]        libgnat.a
   [bind SAL]     HiRTOS
   [Ada]          b__HiRTOS.adb
   [objcopy]      b__HiRTOS.o
   [archive]      libHiRTOS.a
   [index]        libHiRTOS.a
Bind
   [gprbind]      esp32_c3_hello.bexch
   [Ada]          esp32_c3_hello.ali
Link
   [link]         esp32_c3_hello.adb
Note: Running post-build actions for esp32_c3_hello=0.1.0-dev...
/home/runner/work/alire-crates-ci/alire-crates-ci/test/a649a90a-3bab-4c62-a1cf-bb02e1602454/hirtos_2.0.0_66847740/src/porting_layer/platforms/esp32_c3/generate_bin_image.sh: line 15: esptool.py: command not found
*** WARNING: binary image could not be generated as esptool.py was not found. To install it, run: pip3 install esptool
Success: Build finished successfully in 2.88 seconds.
Note: Building fvp_armv8r_aarch32_hello=0.1.0-dev/fvp_armv8r_aarch32_hello.gpr...
Compile
   [Ada]          a-except.adb
   [Ada]          s-fatlfl.ads
   [Ada]          s-maccod.ads
   [Ada]          i-c.adb
   [Ada]          a-uncdea.ads
   [Ada]          s-assert.adb
   [Ada]          gnat.ads
   [Ada]          system.ads
   [Ada]          a-assert.adb
   [Ada]          s-unstyp.ads
   [Ada]          ada.ads
   [Ada]          s-parame.ads
   [Ada]          s-stoele.adb
   [Ada]          s-fatllf.ads
   [Ada]          s-secsta.adb
   [Ada]          s-atacco.adb
   [Ada]          a-unccon.ads
   [Ada]          s-fatflt.ads
   [Ada]          interfac.ads
   [Ada]          g-souinf.ads
   [Ada]          s-fatgen.adb
   [Asm_Cpp]      hirtos_cpu_startup_asm.S
   [C]            mem_utils.c
   [Ada]          hirtos_config.ads
   [Ada]          hirtos_platform_parameters.ads
   [Ada]          hirtos_low_level_debug_interface.adb
   [Ada]          uart_driver.adb
   [Ada]          hirtos_cpu_arch_interface-interrupts.ads
   [Ada]          hirtos_cpu_arch_interface-interrupt_controller.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling.adb
   [Ada]          hirtos_cpu_arch_interface-tick_timer.adb
   [Ada]          hirtos_cpu_arch_interface.adb
   [Ada]          hirtos_cpu_multi_core_interface.adb
   [Ada]          hirtos_cpu_arch_interface-thread_context.adb
   [Ada]          hirtos_cpu_arch_parameters.ads
   [Ada]          hirtos_cpu_arch_interface-memory_protection.adb
   [Ada]          hirtos_cpu_startup_interface.adb
   [Ada]          hirtos_cpu_arch_interface_private.ads
   [Ada]          number_conversion_utils.adb
   [Ada]          bit_sized_integer_types.ads
   [Ada]          memory_utils.adb
   [Ada]          hirtos-condvar_private.ads
   [Ada]          hirtos-rtos_private.adb
   [Ada]          hirtos-thread_private.adb
   [Ada]          hirtos-mutex.adb
   [Ada]          hirtos.adb
   [Ada]          hirtos-memory_protection_private.adb
   [Ada]          hirtos-thread.adb
   [Ada]          hirtos-debug.adb
   [Ada]          hirtos-condvar.adb
   [Ada]          hirtos-memory_protection.adb
   [Ada]          hirtos-timer_private.adb
   [Ada]          hirtos-timer.adb
   [Ada]          hirtos-interrupt_handling_private.adb
   [Ada]          hirtos-interrupt_handling.adb
   [Ada]          hirtos_config_parameters.ads
   [Ada]          generic_execution_stack.ads
   [Ada]          hirtos-mutex_private.adb
   [Ada]          generic_linked_list.adb
   [Ada]          hirtos_platform_interface.adb
Build Libraries
   [gprlib]       gnat.lexch
   [archive]      libgnat.a
   [gprlib]       HiRTOS.lexch
   [index]        libgnat.a
   [bind SAL]     HiRTOS
   [Ada]          b__HiRTOS.adb
   [objcopy]      b__HiRTOS.o
   [archive]      libHiRTOS.a
   [index]        libHiRTOS.a
Bind
   [gprbind]      fvp_armv8r_aarch32_hello.bexch
   [Ada]          fvp_armv8r_aarch32_hello.ali
Link
   [link]         fvp_armv8r_aarch32_hello.adb
/root/.local/share/alire/toolchains/gnat_arm_elf_14.2.1_524d4d41/bin/../lib/gcc/arm-eabi/14.2.0/../../../../arm-eabi/bin/ld: warning: /home/runner/work/alire-crates-ci/alire-crates-ci/test/a649a90a-3bab-4c62-a1cf-bb02e1602454/hirtos_2.0.0_66847740/sample_apps/fvp_armv8r_aarch32_hello/bin//fvp_armv8r_aarch32_hello.elf has a LOAD segment with RWX permissions
Note: Running post-build actions for fvp_armv8r_aarch32_hello=0.1.0-dev...
Success: Build finished successfully in 2.13 seconds.
Note: Building esp32_c3_hello=0.1.0-dev/esp32_c3_hello.gpr...
Compile
   [Ada]          a-except.adb
   [Ada]          s-fatlfl.ads
   [Ada]          s-maccod.ads
   [Ada]          i-c.adb
   [Ada]          a-uncdea.ads
   [Ada]          s-assert.adb
   [Ada]          gnat.ads
   [Ada]          system.ads
   [Ada]          a-assert.adb
   [Ada]          s-unstyp.ads
   [Ada]          ada.ads
   [Ada]          s-parame.ads
   [Ada]          s-stoele.adb
   [Ada]          s-fatllf.ads
   [Ada]          s-secsta.adb
   [Ada]          s-atacco.adb
   [Ada]          a-unccon.ads
   [Ada]          s-fatflt.ads
   [Ada]          interfac.ads
   [Ada]          g-souinf.ads
   [Ada]          s-fatgen.adb
   [Asm_Cpp]      hirtos_cpu_startup_asm.S
   [C]            mem_utils.c
   [Ada]          hirtos_config.ads
   [Ada]          hirtos_platform_parameters.ads
   [Ada]          hirtos_low_level_debug_interface.adb
   [Ada]          uart_driver.adb
   [Ada]          hirtos_cpu_arch_interface-interrupts.ads
   [Ada]          hirtos_cpu_arch_interface-interrupt_controller.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling.adb
   [Ada]          hirtos_cpu_arch_interface-tick_timer.adb
   [Ada]          hirtos_cpu_arch_interface.adb
   [Ada]          hirtos_cpu_multi_core_interface.adb
   [Ada]          hirtos_cpu_arch_interface-thread_context.adb
   [Ada]          hirtos_cpu_arch_parameters.ads
   [Ada]          hirtos_cpu_arch_interface_private.adb
   [Ada]          hirtos_cpu_arch_interface-memory_protection.adb
   [Ada]          hirtos_cpu_startup_interface.adb
   [Ada]          number_conversion_utils.adb
   [Ada]          bit_sized_integer_types.ads
   [Ada]          memory_utils.adb
   [Ada]          hirtos-condvar_private.ads
   [Ada]          hirtos-rtos_private.adb
   [Ada]          hirtos-thread_private.adb
   [Ada]          hirtos-mutex.adb
   [Ada]          hirtos.adb
   [Ada]          hirtos-memory_protection_private.adb
   [Ada]          hirtos-thread.adb
   [Ada]          hirtos-debug.adb
   [Ada]          hirtos-condvar.adb
   [Ada]          hirtos-memory_protection.adb
   [Ada]          hirtos-timer_private.adb
   [Ada]          hirtos-timer.adb
   [Ada]          hirtos-interrupt_handling_private.adb
   [Ada]          hirtos-interrupt_handling.adb
   [Ada]          hirtos_config_parameters.ads
   [Ada]          generic_execution_stack.ads
   [Ada]          hirtos-mutex_private.adb
   [Ada]          generic_linked_list.adb
   [Ada]          hirtos_platform_interface.adb
Build Libraries
   [gprlib]       gnat.lexch
   [archive]      libgnat.a
   [gprlib]       HiRTOS.lexch
   [index]        libgnat.a
   [bind SAL]     HiRTOS
   [Ada]          b__HiRTOS.adb
   [objcopy]      b__HiRTOS.o
   [archive]      libHiRTOS.a
   [index]        libHiRTOS.a
Bind
   [gprbind]      esp32_c3_hello.bexch
   [Ada]          esp32_c3_hello.ali
Link
   [link]         esp32_c3_hello.adb
Note: Running post-build actions for esp32_c3_hello=0.1.0-dev...
/home/runner/work/alire-crates-ci/alire-crates-ci/test/a649a90a-3bab-4c62-a1cf-bb02e1602454/hirtos_2.0.0_66847740/src/porting_layer/platforms/esp32_c3/generate_bin_image.sh: line 15: esptool.py: command not found
*** WARNING: binary image could not be generated as esptool.py was not found. To install it, run: pip3 install esptool
Success: Build finished successfully in 2.29 seconds.