Test ran at 2025-02-15 01:10:32.154601+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...

#=#=#                                                                          
##                                                                         3.1%
####                                                                       5.8%
########                                                                  11.3%
############                                                              16.9%
################                                                          23.3%
#####################                                                     29.8%
#########################                                                 35.5%
#############################                                             40.3%
################################                                          44.6%
####################################                                      50.8%
########################################                                  56.7%
#############################################                             62.5%
#################################################                         68.2%
####################################################                      73.3%
########################################################                  78.9%
#############################################################             85.0%
#################################################################         91.6%
###################################################################       94.3%
#######################################################################   99.4%
######################################################################## 100.0%
Note: gnat_arm_elf=14.2.1 installed successfully.
Note: Deploying gnatprove=14.1.1...

#=#=#                                                                          
                                                                           0.0%
##                                                                         2.9%
####                                                                       6.1%
#######                                                                    9.8%
##########                                                                14.9%
##############                                                            19.9%
#################                                                         24.7%
#####################                                                     29.9%
#######################                                                   32.7%
##########################                                                36.8%
#############################                                             40.6%
################################                                          44.8%
####################################                                      50.2%
#######################################                                   55.1%
#########################################                                 58.0%
#############################################                             63.3%
################################################                          67.2%
####################################################                      72.3%
#######################################################                   76.6%
#########################################################                 79.9%
###########################################################               82.9%
###############################################################           87.6%
#################################################################         91.6%
#####################################################################     96.9%
######################################################################## 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]          system.ads
   [Ada]          s-unstyp.ads
   [Ada]          s-stoele.adb
   [Ada]          s-secsta.adb
   [Ada]          s-parame.ads
   [Ada]          s-maccod.ads
   [Ada]          s-fatllf.ads
   [Ada]          s-fatlfl.ads
   [Ada]          s-fatgen.adb
   [Ada]          s-fatflt.ads
   [Ada]          s-atacco.adb
   [Ada]          s-assert.adb
   [Ada]          interfac.ads
   [Ada]          i-c.adb
   [Ada]          gnat.ads
   [Ada]          g-souinf.ads
   [Ada]          ada.ads
   [Ada]          a-uncdea.ads
   [Ada]          a-unccon.ads
   [Ada]          a-except.adb
   [Ada]          a-assert.adb
   [Asm_Cpp]      hirtos_cpu_startup_asm.s
   [C]            mem_utils.c
   [Ada]          hirtos_config.ads
   [Ada]          uart_driver.adb
   [Ada]          hirtos_platform_parameters.ads
   [Ada]          hirtos_low_level_debug_interface.adb
   [Ada]          hirtos_cpu_arch_interface-interrupts.ads
   [Ada]          hirtos_cpu_startup_interface.adb
   [Ada]          hirtos_cpu_multi_core_interface.adb
   [Ada]          hirtos_cpu_arch_parameters.ads
   [Ada]          hirtos_cpu_arch_interface_private.ads
   [Ada]          hirtos_cpu_arch_interface.adb
   [Ada]          hirtos_cpu_arch_interface-tick_timer.adb
   [Ada]          hirtos_cpu_arch_interface-thread_context.adb
   [Ada]          hirtos_cpu_arch_interface-system_registers.adb
   [Ada]          hirtos_cpu_arch_interface-memory_protection.adb
   [Ada]          hirtos_cpu_arch_interface-memory_protection-el1_mpu.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling-arch_specific.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_controller.adb
   [Ada]          number_conversion_utils.adb
   [Ada]          memory_utils.adb
   [Ada]          bit_sized_integer_types.ads
   [Ada]          hirtos_config_parameters.ads
   [Ada]          hirtos.adb
   [Ada]          hirtos-timer_private.adb
   [Ada]          hirtos-timer.adb
   [Ada]          hirtos-thread_private.adb
   [Ada]          hirtos-thread.adb
   [Ada]          hirtos-rtos_private.adb
   [Ada]          hirtos-mutex_private.adb
   [Ada]          hirtos-mutex.adb
   [Ada]          hirtos-memory_protection_private.adb
   [Ada]          hirtos-memory_protection.adb
   [Ada]          hirtos-interrupt_handling_private.adb
   [Ada]          hirtos-interrupt_handling.adb
   [Ada]          hirtos-debug.adb
   [Ada]          hirtos-condvar_private.ads
   [Ada]          hirtos-condvar.adb
   [Ada]          generic_linked_list.adb
   [Ada]          generic_execution_stack.ads
   [Ada]          app_threads.adb
   [Ada]          hirtos_platform_interface.adb
Build Libraries
   [gprlib]       gnat.lexch
   [gprlib]       HiRTOS.lexch
   [archive]      libgnat.a
   [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
C:/Users/runneradmin/AppData/Local/alire/cache/toolchains/gnat_arm_elf_14.2.1_2c52e01a/bin/../lib/gcc/arm-eabi/14.2.0/../../../../arm-eabi/bin/ld.exe: warning: D:\a\alire-crates-ci\alire-crates-ci\test\82de49b2-8e87-423b-85ad-48a36ca417f2\hirtos_2.0.0_66847740\sample_apps\fvp_armv8r_aarch32_hello\bin\\fvp_armv8r_aarch32_hello.elf has a LOAD segment with RWX permissions
Success: Build finished successfully in 3.67 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...

#=#=#                                                                          
                                                                           0.0%
                                                                           1.2%
####                                                                       5.8%
#####                                                                      8.1%
######                                                                     9.3%
##########                                                                14.5%
############                                                              17.4%
##############                                                            20.3%
##################                                                        26.1%
####################                                                      29.0%
######################                                                    31.9%
###########################                                               37.7%
#############################                                             40.6%
##################################                                        48.4%
###################################                                       49.3%
#####################################                                     52.2%
########################################                                  55.7%
#########################################                                 58.0%
###########################################                               60.9%
################################################                          66.7%
##################################################                        69.6%
######################################################                    75.4%
########################################################                  78.3%
############################################################              84.1%
###############################################################           88.6%
#################################################################         91.6%
###################################################################       93.7%
######################################################################    98.6%
######################################################################## 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]          system.ads
   [Ada]          s-unstyp.ads
   [Ada]          s-stoele.adb
   [Ada]          s-secsta.adb
   [Ada]          s-parame.ads
   [Ada]          s-maccod.ads
   [Ada]          s-fatllf.ads
   [Ada]          s-fatlfl.ads
   [Ada]          s-fatgen.adb
   [Ada]          s-fatflt.ads
   [Ada]          s-atacco.adb
   [Ada]          s-assert.adb
   [Ada]          interfac.ads
   [Ada]          i-c.adb
   [Ada]          gnat.ads
   [Ada]          g-souinf.ads
   [Ada]          ada.ads
   [Ada]          a-uncdea.ads
   [Ada]          a-unccon.ads
   [Ada]          a-except.adb
   [Ada]          a-assert.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]          uart_driver.adb
   [Ada]          hirtos_platform_parameters.ads
   [Ada]          hirtos_low_level_debug_interface.adb
   [Ada]          hirtos_cpu_arch_interface-interrupts.ads
   [Ada]          hirtos_cpu_startup_interface.adb
   [Ada]          hirtos_cpu_multi_core_interface.adb
   [Ada]          hirtos_cpu_arch_parameters.ads
   [Ada]          hirtos_cpu_arch_interface_private.adb
   [Ada]          hirtos_cpu_arch_interface.adb
   [Ada]          hirtos_cpu_arch_interface-tick_timer.adb
   [Ada]          hirtos_cpu_arch_interface-thread_context.adb
   [Ada]          hirtos_cpu_arch_interface-memory_protection.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_controller.adb
   [Ada]          number_conversion_utils.adb
   [Ada]          memory_utils.adb
   [Ada]          bit_sized_integer_types.ads
   [Ada]          hirtos_config_parameters.ads
   [Ada]          hirtos.adb
   [Ada]          hirtos-timer_private.adb
   [Ada]          hirtos-timer.adb
   [Ada]          hirtos-thread_private.adb
   [Ada]          hirtos-thread.adb
   [Ada]          hirtos-rtos_private.adb
   [Ada]          hirtos-mutex_private.adb
   [Ada]          hirtos-mutex.adb
   [Ada]          hirtos-memory_protection_private.adb
   [Ada]          hirtos-memory_protection.adb
   [Ada]          hirtos-interrupt_handling_private.adb
   [Ada]          hirtos-interrupt_handling.adb
   [Ada]          hirtos-debug.adb
   [Ada]          hirtos-condvar_private.ads
   [Ada]          hirtos-condvar.adb
   [Ada]          generic_linked_list.adb
   [Ada]          generic_execution_stack.ads
   [Ada]          app_threads.adb
   [Ada]          esp32_c3-gpio.ads
   [Ada]          watchdog_driver.adb
   [Ada]          hirtos_platform_interface.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
   [gprlib]       HiRTOS.lexch
   [archive]      libgnat.a
   [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
Success: Build finished successfully in 8.60 seconds.
Note: Building fvp_armv8r_aarch32_hello=0.1.0-dev/fvp_armv8r_aarch32_hello.gpr...
Compile
   [Ada]          system.ads
   [Ada]          s-unstyp.ads
   [Ada]          s-stoele.adb
   [Ada]          s-secsta.adb
   [Ada]          s-parame.ads
   [Ada]          s-maccod.ads
   [Ada]          s-fatllf.ads
   [Ada]          s-fatlfl.ads
   [Ada]          s-fatgen.adb
   [Ada]          s-fatflt.ads
   [Ada]          s-atacco.adb
   [Ada]          s-assert.adb
   [Ada]          interfac.ads
   [Ada]          i-c.adb
   [Ada]          gnat.ads
   [Ada]          g-souinf.ads
   [Ada]          ada.ads
   [Ada]          a-uncdea.ads
   [Ada]          a-unccon.ads
   [Ada]          a-except.adb
   [Ada]          a-assert.adb
   [Asm_Cpp]      hirtos_cpu_startup_asm.s
   [C]            mem_utils.c
   [Ada]          hirtos_config.ads
   [Ada]          uart_driver.adb
   [Ada]          hirtos_platform_parameters.ads
   [Ada]          hirtos_low_level_debug_interface.adb
   [Ada]          hirtos_cpu_arch_interface-interrupts.ads
   [Ada]          hirtos_cpu_startup_interface.adb
   [Ada]          hirtos_cpu_multi_core_interface.adb
   [Ada]          hirtos_cpu_arch_parameters.ads
   [Ada]          hirtos_cpu_arch_interface_private.ads
   [Ada]          hirtos_cpu_arch_interface.adb
   [Ada]          hirtos_cpu_arch_interface-tick_timer.adb
   [Ada]          hirtos_cpu_arch_interface-thread_context.adb
   [Ada]          hirtos_cpu_arch_interface-memory_protection.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_controller.adb
   [Ada]          number_conversion_utils.adb
   [Ada]          memory_utils.adb
   [Ada]          bit_sized_integer_types.ads
   [Ada]          hirtos_config_parameters.ads
   [Ada]          hirtos.adb
   [Ada]          hirtos-timer_private.adb
   [Ada]          hirtos-timer.adb
   [Ada]          hirtos-thread_private.adb
   [Ada]          hirtos-thread.adb
   [Ada]          hirtos-rtos_private.adb
   [Ada]          hirtos-mutex_private.adb
   [Ada]          hirtos-mutex.adb
   [Ada]          hirtos-memory_protection_private.adb
   [Ada]          hirtos-memory_protection.adb
   [Ada]          hirtos-interrupt_handling_private.adb
   [Ada]          hirtos-interrupt_handling.adb
   [Ada]          hirtos-debug.adb
   [Ada]          hirtos-condvar_private.ads
   [Ada]          hirtos-condvar.adb
   [Ada]          generic_linked_list.adb
   [Ada]          generic_execution_stack.ads
   [Ada]          hirtos_platform_interface.adb
Build Libraries
   [gprlib]       gnat.lexch
   [gprlib]       HiRTOS.lexch
   [archive]      libgnat.a
   [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
C:/Users/runneradmin/AppData/Local/alire/cache/toolchains/gnat_arm_elf_14.2.1_2c52e01a/bin/../lib/gcc/arm-eabi/14.2.0/../../../../arm-eabi/bin/ld.exe: warning: D:\a\alire-crates-ci\alire-crates-ci\test\82de49b2-8e87-423b-85ad-48a36ca417f2\hirtos_2.0.0_66847740\sample_apps\fvp_armv8r_aarch32_hello\bin\\fvp_armv8r_aarch32_hello.elf has a LOAD segment with RWX permissions
Success: Build finished successfully in 3.65 seconds.
Note: Building esp32_c3_hello=0.1.0-dev/esp32_c3_hello.gpr...
Compile
   [Ada]          system.ads
   [Ada]          s-unstyp.ads
   [Ada]          s-stoele.adb
   [Ada]          s-secsta.adb
   [Ada]          s-parame.ads
   [Ada]          s-maccod.ads
   [Ada]          s-fatllf.ads
   [Ada]          s-fatlfl.ads
   [Ada]          s-fatgen.adb
   [Ada]          s-fatflt.ads
   [Ada]          s-atacco.adb
   [Ada]          s-assert.adb
   [Ada]          interfac.ads
   [Ada]          i-c.adb
   [Ada]          gnat.ads
   [Ada]          g-souinf.ads
   [Ada]          ada.ads
   [Ada]          a-uncdea.ads
   [Ada]          a-unccon.ads
   [Ada]          a-except.adb
   [Ada]          a-assert.adb
   [Asm_Cpp]      hirtos_cpu_startup_asm.s
   [C]            mem_utils.c
   [Ada]          hirtos_config.ads
   [Ada]          uart_driver.adb
   [Ada]          hirtos_platform_parameters.ads
   [Ada]          hirtos_low_level_debug_interface.adb
   [Ada]          hirtos_cpu_arch_interface-interrupts.ads
   [Ada]          hirtos_cpu_startup_interface.adb
   [Ada]          hirtos_cpu_multi_core_interface.adb
   [Ada]          hirtos_cpu_arch_parameters.ads
   [Ada]          hirtos_cpu_arch_interface_private.adb
   [Ada]          hirtos_cpu_arch_interface.adb
   [Ada]          hirtos_cpu_arch_interface-tick_timer.adb
   [Ada]          hirtos_cpu_arch_interface-thread_context.adb
   [Ada]          hirtos_cpu_arch_interface-memory_protection.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_handling.adb
   [Ada]          hirtos_cpu_arch_interface-interrupt_controller.adb
   [Ada]          number_conversion_utils.adb
   [Ada]          memory_utils.adb
   [Ada]          bit_sized_integer_types.ads
   [Ada]          hirtos_config_parameters.ads
   [Ada]          hirtos.adb
   [Ada]          hirtos-timer_private.adb
   [Ada]          hirtos-timer.adb
   [Ada]          hirtos-thread_private.adb
   [Ada]          hirtos-thread.adb
   [Ada]          hirtos-rtos_private.adb
   [Ada]          hirtos-mutex_private.adb
   [Ada]          hirtos-mutex.adb
   [Ada]          hirtos-memory_protection_private.adb
   [Ada]          hirtos-memory_protection.adb
   [Ada]          hirtos-interrupt_handling_private.adb
   [Ada]          hirtos-interrupt_handling.adb
   [Ada]          hirtos-debug.adb
   [Ada]          hirtos-condvar_private.ads
   [Ada]          hirtos-condvar.adb
   [Ada]          generic_linked_list.adb
   [Ada]          generic_execution_stack.ads
   [Ada]          hirtos_platform_interface.adb
Build Libraries
   [gprlib]       gnat.lexch
   [gprlib]       HiRTOS.lexch
   [archive]      libgnat.a
   [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
Success: Build finished successfully in 3.72 seconds.