Test ran at 2025-02-06 01:33:27.492200+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#-# ##O=# # 0.0% # 2.7% ##### 7.0% ######## 12.0% ############# 19.3% ################## 25.5% ##################### 29.5% ######################### 36.0% ############################# 41.0% ################################## 47.3% #################################### 50.9% ######################################### 57.0% ############################################## 64.2% ################################################# 69.1% ##################################################### 74.7% ########################################################### 82.3% ############################################################### 87.7% ################################################################ 90.2% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 95.1% #################################################################### 95.7% ##################################################################### 96.9% ######################################################################## 100.0% Note: gnat_arm_elf=14.2.1 installed successfully. Note: Deploying gnatprove=14.1.1... #=#=# ##O#-# 0.0% # 2.1% ## 3.0% ### 4.9% #### 6.1% ##### 7.7% ####### 9.8% ####### 10.5% ######## 11.6% ######### 12.7% ########## 14.8% ########## 15.3% ########### 15.8% ############ 17.4% ############# 18.1% ############## 19.9% ############## 20.6% ################ 22.4% ################ 23.1% ################# 24.9% ################## 25.7% ################### 27.2% #################### 28.0% ##################### 30.0% ###################### 30.8% ####################### 32.8% ####################### 33.3% ######################## 34.5% ######################### 35.6% ########################### 37.6% ########################### 38.5% ############################ 40.2% ############################# 41.1% ############################## 42.7% ############################### 43.4% ############################### 44.1% ################################# 45.9% ################################## 47.8% ################################### 49.3% #################################### 50.9% ###################################### 52.9% ###################################### 53.5% ####################################### 55.2% ######################################## 56.0% ######################################### 57.7% ########################################## 58.5% ########################################### 59.9% ########################################### 61.0% ############################################ 62.1% ############################################ 62.1% ############################################# 63.6% ############################################### 65.5% ############################################### 66.3% ################################################ 67.1% ################################################# 68.2% ################################################## 69.7% ################################################### 71.2% #################################################### 73.0% ##################################################### 73.7% ###################################################### 75.8% ####################################################### 77.3% ######################################################## 78.9% ########################################################## 80.9% ########################################################### 82.4% ############################################################ 83.9% ############################################################# 85.8% ############################################################## 86.6% ############################################################### 88.5% ################################################################ 90.0% ################################################################# 91.5% ################################################################### 93.4% ################################################################### 94.1% #################################################################### 95.1% #################################################################### 95.1% ##################################################################### 96.6% ####################################################################### 98.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] i-c.adb [Ada] s-atacco.adb [Ada] s-assert.adb [Ada] s-secsta.adb [Ada] system.ads [Ada] a-assert.adb [Ada] a-except.adb [Ada] interfac.ads [Ada] a-uncdea.ads [Ada] s-fatflt.ads [Ada] s-fatlfl.ads [Ada] a-unccon.ads [Ada] ada.ads [Ada] s-fatgen.adb [Ada] s-parame.ads [Ada] s-fatllf.ads [Ada] s-unstyp.ads [Ada] gnat.ads [Ada] s-maccod.ads [Ada] s-stoele.adb [Ada] g-souinf.ads [Asm_Cpp] hirtos_cpu_startup_asm.S [C] mem_utils.c [Ada] hirtos_config.ads [Ada] hirtos_platform_parameters.ads [Ada] uart_driver.adb [Ada] hirtos_low_level_debug_interface.adb [Ada] hirtos_cpu_arch_interface-interrupts.ads [Ada] hirtos_cpu_arch_interface_private.ads [Ada] hirtos_cpu_arch_interface-memory_protection-el1_mpu.adb [Ada] hirtos_cpu_arch_interface.adb [Ada] hirtos_cpu_arch_interface-tick_timer.adb [Ada] hirtos_cpu_arch_interface-memory_protection.adb [Ada] hirtos_cpu_arch_interface-interrupt_controller.adb [Ada] hirtos_cpu_startup_interface.adb [Ada] hirtos_cpu_multi_core_interface.adb [Ada] hirtos_cpu_arch_interface-interrupt_handling-arch_specific.adb [Ada] hirtos_cpu_arch_interface-thread_context.adb [Ada] hirtos_cpu_arch_interface-interrupt_handling.adb [Ada] hirtos_cpu_arch_interface-system_registers.adb [Ada] hirtos_cpu_arch_parameters.ads [Ada] number_conversion_utils.adb [Ada] bit_sized_integer_types.ads [Ada] memory_utils.adb [Ada] hirtos-rtos_private.adb [Ada] hirtos_config_parameters.ads [Ada] hirtos-thread.adb [Ada] hirtos-interrupt_handling.adb [Ada] hirtos-thread_private.adb [Ada] hirtos-mutex.adb [Ada] generic_execution_stack.ads [Ada] hirtos-condvar.adb [Ada] hirtos.adb [Ada] hirtos-memory_protection.adb [Ada] hirtos-condvar_private.ads [Ada] generic_linked_list.adb [Ada] hirtos-debug.adb [Ada] hirtos-memory_protection_private.adb [Ada] hirtos-timer_private.adb [Ada] hirtos-interrupt_handling_private.adb [Ada] hirtos-timer.adb [Ada] hirtos-mutex_private.adb [Ada] app_threads.adb [Ada] hirtos_platform_interface.adb 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] 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/7e6be420-f000-4e11-9841-ea7c1c396e73/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.16 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#-# ##O=# # 0.0% # 2.3% ## 3.6% #### 5.7% #### 6.6% ###### 8.7% ####### 11.0% ######## 11.9% ######### 12.8% ######### 12.8% ########## 14.5% ########## 14.6% ########## 14.8% ########### 15.7% ############ 17.4% ############# 18.6% ############# 18.6% ############## 20.3% ################ 22.6% ################ 23.2% ################# 24.4% ################## 25.7% ################## 26.1% #################### 28.0% #################### 29.0% ###################### 30.8% ###################### 31.9% ####################### 31.9% ####################### 32.3% ######################## 33.6% ######################### 34.8% ########################## 36.2% ########################### 37.7% ############################ 40.2% ############################# 40.6% ############################## 42.7% ############################### 43.5% ################################ 45.2% ################################# 46.4% ################################### 48.7% #################################### 50.4% ##################################### 52.1% ###################################### 53.3% ####################################### 55.0% ######################################### 57.4% ######################################### 58.0% ########################################### 60.3% ########################################### 60.8% ############################################ 62.0% ############################################ 62.0% ############################################# 63.8% ############################################### 66.1% ################################################ 67.2% ################################################# 69.1% ################################################## 69.6% ################################################### 71.9% #################################################### 72.5% ##################################################### 74.5% ###################################################### 76.0% ######################################################## 78.0% ######################################################## 79.0% ######################################################### 79.4% ######################################################### 79.4% ########################################################## 81.1% ########################################################### 82.9% ############################################################ 84.0% ############################################################# 85.9% ############################################################## 86.9% ################################################################ 89.2% ################################################################ 89.8% ################################################################ 89.9% ################################################################ 90.2% ################################################################# 91.1% ################################################################## 92.7% #################################################################### 95.0% #################################################################### 95.6% ###################################################################### 97.8% ###################################################################### 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] i-c.adb [Ada] s-atacco.adb [Ada] s-assert.adb [Ada] s-secsta.adb [Ada] system.ads [Ada] a-assert.adb [Ada] a-except.adb [Ada] interfac.ads [Ada] a-uncdea.ads [Ada] s-fatflt.ads [Ada] s-fatlfl.ads [Ada] a-unccon.ads [Ada] ada.ads [Ada] s-fatgen.adb [Ada] s-parame.ads [Ada] s-fatllf.ads [Ada] s-unstyp.ads [Ada] gnat.ads [Ada] s-maccod.ads [Ada] s-stoele.adb [Ada] g-souinf.ads [Asm_Cpp] hirtos_cpu_startup_asm.S [C] mem_utils.c [Ada] hirtos_config.ads [Ada] esp32_c3-uart.ads [Ada] esp32_c3.ads [Ada] hirtos_platform_parameters.ads [Ada] uart_driver.adb [Ada] hirtos_low_level_debug_interface.adb [Ada] hirtos_cpu_arch_interface-interrupts.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-memory_protection.adb [Ada] hirtos_cpu_arch_interface-interrupt_controller.adb [Ada] hirtos_cpu_startup_interface.adb [Ada] hirtos_cpu_multi_core_interface.adb [Ada] hirtos_cpu_arch_interface-thread_context.adb [Ada] hirtos_cpu_arch_interface-interrupt_handling.adb [Ada] hirtos_cpu_arch_parameters.ads [Ada] number_conversion_utils.adb [Ada] bit_sized_integer_types.ads [Ada] memory_utils.adb [Ada] hirtos-rtos_private.adb [Ada] hirtos_config_parameters.ads [Ada] hirtos-thread.adb [Ada] hirtos-interrupt_handling.adb [Ada] hirtos-thread_private.adb [Ada] hirtos-mutex.adb [Ada] generic_execution_stack.ads [Ada] hirtos-condvar.adb [Ada] hirtos.adb [Ada] hirtos-memory_protection.adb [Ada] hirtos-condvar_private.ads [Ada] generic_linked_list.adb [Ada] hirtos-debug.adb [Ada] hirtos-memory_protection_private.adb [Ada] hirtos-timer_private.adb [Ada] hirtos-interrupt_handling_private.adb [Ada] hirtos-timer.adb [Ada] hirtos-mutex_private.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/7e6be420-f000-4e11-9841-ea7c1c396e73/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] i-c.adb [Ada] s-atacco.adb [Ada] s-assert.adb [Ada] s-secsta.adb [Ada] system.ads [Ada] a-assert.adb [Ada] a-except.adb [Ada] interfac.ads [Ada] a-uncdea.ads [Ada] s-fatflt.ads [Ada] s-fatlfl.ads [Ada] a-unccon.ads [Ada] ada.ads [Ada] s-fatgen.adb [Ada] s-parame.ads [Ada] s-fatllf.ads [Ada] s-unstyp.ads [Ada] gnat.ads [Ada] s-maccod.ads [Ada] s-stoele.adb [Ada] g-souinf.ads [Asm_Cpp] hirtos_cpu_startup_asm.S [C] mem_utils.c [Ada] hirtos_config.ads [Ada] hirtos_platform_parameters.ads [Ada] uart_driver.adb [Ada] hirtos_low_level_debug_interface.adb [Ada] hirtos_cpu_arch_interface-interrupts.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-memory_protection.adb [Ada] hirtos_cpu_arch_interface-interrupt_controller.adb [Ada] hirtos_cpu_startup_interface.adb [Ada] hirtos_cpu_multi_core_interface.adb [Ada] hirtos_cpu_arch_interface-thread_context.adb [Ada] hirtos_cpu_arch_interface-interrupt_handling.adb [Ada] hirtos_cpu_arch_parameters.ads [Ada] number_conversion_utils.adb [Ada] bit_sized_integer_types.ads [Ada] memory_utils.adb [Ada] hirtos-rtos_private.adb [Ada] hirtos_config_parameters.ads [Ada] hirtos-thread.adb [Ada] hirtos-interrupt_handling.adb [Ada] hirtos-thread_private.adb [Ada] hirtos-mutex.adb [Ada] generic_execution_stack.ads [Ada] hirtos-condvar.adb [Ada] hirtos.adb [Ada] hirtos-memory_protection.adb [Ada] hirtos-condvar_private.ads [Ada] generic_linked_list.adb [Ada] hirtos-debug.adb [Ada] hirtos-memory_protection_private.adb [Ada] hirtos-timer_private.adb [Ada] hirtos-interrupt_handling_private.adb [Ada] hirtos-timer.adb [Ada] hirtos-mutex_private.adb [Ada] hirtos_platform_interface.adb 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] 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/7e6be420-f000-4e11-9841-ea7c1c396e73/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.07 seconds. Note: Building esp32_c3_hello=0.1.0-dev/esp32_c3_hello.gpr... Compile [Ada] i-c.adb [Ada] s-atacco.adb [Ada] s-assert.adb [Ada] s-secsta.adb [Ada] system.ads [Ada] a-assert.adb [Ada] a-except.adb [Ada] interfac.ads [Ada] a-uncdea.ads [Ada] s-fatflt.ads [Ada] s-fatlfl.ads [Ada] a-unccon.ads [Ada] ada.ads [Ada] s-fatgen.adb [Ada] s-parame.ads [Ada] s-fatllf.ads [Ada] s-unstyp.ads [Ada] gnat.ads [Ada] s-maccod.ads [Ada] s-stoele.adb [Ada] g-souinf.ads [Asm_Cpp] hirtos_cpu_startup_asm.S [C] mem_utils.c [Ada] hirtos_config.ads [Ada] hirtos_platform_parameters.ads [Ada] uart_driver.adb [Ada] hirtos_low_level_debug_interface.adb [Ada] hirtos_cpu_arch_interface-interrupts.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-memory_protection.adb [Ada] hirtos_cpu_arch_interface-interrupt_controller.adb [Ada] hirtos_cpu_startup_interface.adb [Ada] hirtos_cpu_multi_core_interface.adb [Ada] hirtos_cpu_arch_interface-thread_context.adb [Ada] hirtos_cpu_arch_interface-interrupt_handling.adb [Ada] hirtos_cpu_arch_parameters.ads [Ada] number_conversion_utils.adb [Ada] bit_sized_integer_types.ads [Ada] memory_utils.adb [Ada] hirtos-rtos_private.adb [Ada] hirtos_config_parameters.ads [Ada] hirtos-thread.adb [Ada] hirtos-interrupt_handling.adb [Ada] hirtos-thread_private.adb [Ada] hirtos-mutex.adb [Ada] generic_execution_stack.ads [Ada] hirtos-condvar.adb [Ada] hirtos.adb [Ada] hirtos-memory_protection.adb [Ada] hirtos-condvar_private.ads [Ada] generic_linked_list.adb [Ada] hirtos-debug.adb [Ada] hirtos-memory_protection_private.adb [Ada] hirtos-timer_private.adb [Ada] hirtos-interrupt_handling_private.adb [Ada] hirtos-timer.adb [Ada] hirtos-mutex_private.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/7e6be420-f000-4e11-9841-ea7c1c396e73/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.31 seconds.