Test ran at 2025-02-16 12:54:09.071653+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 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... #=#=# ##O#-# 0.0% ## 3.1% ###### 8.8% ####### 11.1% ############ 17.5% ############## 19.6% ################## 25.2% ###################### 30.9% ########################## 36.7% ############################## 42.2% ################################## 47.8% ###################################### 53.7% ########################################## 59.1% ############################################## 64.6% ################################################## 70.1% ##################################################### 74.8% ###################################################### 76.3% ########################################################## 81.7% ############################################################### 87.7% ################################################################### 93.4% ####################################################################### 99.0% ######################################################################## 100.0% Note: gnat_arm_elf=14.2.1 installed successfully. Note: Deploying gnatprove=14.1.1... #=#=# ##O#-# 0.0% 1.2% # 1.9% # 2.6% # 2.6% ## 3.7% ### 4.5% ### 4.5% #### 5.6% ##### 7.5% ##### 8.1% ##### 8.1% ###### 8.9% ###### 9.3% ###### 9.5% ####### 10.0% ####### 11.0% ######## 11.4% ######### 12.6% ######### 13.2% ########## 14.3% ########## 14.9% ############ 17.0% ############# 18.3% ############# 18.7% ############## 19.8% ############## 20.5% ############### 22.1% ################ 23.1% ################# 24.4% ################# 25.0% ################# 25.0% ################## 26.2% ################### 27.6% #################### 28.1% ##################### 29.2% ##################### 29.9% ###################### 31.8% ####################### 32.5% ####################### 33.2% ######################## 33.6% ######################### 35.9% ########################### 37.8% ############################ 39.7% ############################# 40.7% ############################# 41.3% ############################### 43.6% ################################ 45.5% ################################ 45.6% ################################ 45.6% ################################# 46.7% ################################## 48.6% ################################### 48.6% ################################### 48.9% ################################### 49.4% ################################### 49.8% #################################### 50.4% #################################### 50.5% #################################### 50.6% #################################### 50.9% ##################################### 52.0% ##################################### 52.3% ###################################### 53.0% ###################################### 53.8% ####################################### 54.7% ######################################## 56.8% ######################################## 56.8% ######################################### 57.5% ######################################### 58.3% ########################################## 58.6% ########################################## 58.6% ########################################### 59.8% ############################################ 61.3% ############################################ 61.8% ############################################# 63.0% ############################################# 63.5% ############################################## 64.2% ############################################## 64.3% ############################################### 65.4% ################################################ 67.0% ################################################# 68.1% ################################################# 68.9% ################################################# 69.1% ################################################## 70.6% ################################################### 71.3% ################################################### 71.7% ################################################### 71.7% #################################################### 72.8% ##################################################### 74.4% ###################################################### 75.5% ####################################################### 77.0% ######################################################## 78.1% ######################################################## 78.5% ######################################################### 79.6% ######################################################### 80.3% ########################################################## 81.0% ########################################################## 81.1% ########################################################### 82.2% ############################################################ 84.2% ############################################################## 86.2% ############################################################## 87.4% ############################################################### 87.9% ################################################################ 89.7% ################################################################# 91.5% ################################################################### 93.4% #################################################################### 95.2% ##################################################################### 96.7% ###################################################################### 97.4% ###################################################################### 97.8% ###################################################################### 97.8% ###################################################################### 98.6% ####################################################################### 99.1% ####################################################################### 99.7% ####################################################################### 99.7% ######################################################################## 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\e32b0e6a-05e1-4c0f-8751-35771118b26a\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.81 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... #=#=# ##O#-# 0.0% 0.1% 0.4% 1.3% ## 2.8% ## 3.6% ### 5.2% #### 5.8% ##### 8.2% ###### 9.1% ####### 10.6% ######## 11.6% ######## 12.4% ######### 13.7% ########## 14.5% ########### 15.7% ########### 15.7% ############ 17.4% ############# 18.6% ############# 18.6% ############## 20.3% ################ 23.3% ################# 24.4% ################## 25.6% ################## 26.1% ################### 27.3% ################### 27.3% #################### 29.0% ###################### 31.9% ######################### 34.9% ########################## 37.0% ########################### 37.7% ############################# 40.6% ############################### 43.6% ################################ 45.0% ################################# 46.4% ################################# 47.0% ################################## 47.5% ################################## 48.4% ################################### 49.3% ##################################### 52.2% ####################################### 55.1% ######################################### 58.0% ########################################### 60.3% ########################################### 60.9% ############################################ 61.4% ############################################ 61.4% ############################################ 62.2% ############################################# 62.9% ############################################# 63.7% ############################################## 64.7% ############################################## 64.9% ############################################## 65.0% ################################################ 66.7% ################################################# 68.6% ################################################## 69.6% ################################################## 70.4% ################################################### 71.8% #################################################### 72.5% ###################################################### 75.4% ###################################################### 76.1% ####################################################### 77.0% ######################################################## 78.0% ######################################################## 78.3% ######################################################### 80.1% ########################################################## 81.2% ########################################################### 82.9% ############################################################ 84.1% ############################################################## 87.0% ################################################################ 89.8% ################################################################## 92.2% ################################################################## 92.8% ################################################################### 94.4% #################################################################### 95.7% ###################################################################### 98.5% ####################################################################### 99.7% ######################################################################## 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 [archive] libgnat.a [index] libgnat.a [gprlib] HiRTOS.lexch [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 5.95 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 [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 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\e32b0e6a-05e1-4c0f-8751-35771118b26a\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.35 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 [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 Success: Build finished successfully in 3.45 seconds.