Test ran at 2025-09-02 01:16:29.664864+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: Note: Synchronizing workspace... Dependencies automatically updated as follows: +b gnat_arm_elf 15.1.2 (new,binary) +b gnatprove 15.1.0 (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=15.1.2... #=#=# 0.1% # 2.1% ### 5.2% ##### 7.0% ##### 8.3% ####### 9.9% ####### 10.3% ######### 12.9% ########## 14.5% ########### 16.5% ############# 18.6% ############# 19.2% ############## 19.6% ############## 19.9% ############## 20.6% ################ 22.8% ################# 24.8% ################## 25.6% ################### 26.7% #################### 28.0% ##################### 29.7% ####################### 32.5% ######################### 35.3% ############################ 38.9% ############################# 41.1% ############################## 41.8% ############################### 43.6% ################################ 45.4% ################################# 46.9% ################################## 48.3% ################################### 50.0% ##################################### 52.0% ####################################### 54.6% ######################################### 57.4% ########################################### 59.8% ########################################### 60.6% ############################################# 63.4% ############################################### 66.1% ################################################# 68.1% ################################################## 69.8% #################################################### 72.3% ##################################################### 74.6% ####################################################### 77.1% ######################################################### 80.0% ########################################################## 81.5% ############################################################ 84.1% ############################################################# 85.5% ############################################################### 87.6% ################################################################ 89.4% ################################################################# 90.8% ################################################################## 92.0% ################################################################### 93.5% #################################################################### 95.8% ###################################################################### 98.1% ####################################################################### 99.6% ######################################################################## 100.0% Note: gnat_arm_elf=15.1.2 installed successfully. Note: Deploying gnatprove=15.1.0... #=#=# 0.0% # 2.0% # 2.7% ### 4.8% #### 6.1% #### 6.7% ###### 8.4% ######## 12.1% ########## 14.5% ############ 16.9% ############ 17.0% ############ 17.2% ############ 17.6% ############# 18.3% ############# 19.2% ############## 20.0% ############### 21.7% ################# 24.2% ################## 25.5% ################### 26.5% #################### 28.4% ###################### 31.3% ####################### 32.7% ######################### 35.0% ########################## 36.2% ########################### 38.1% ############################ 39.2% ############################# 41.1% ############################### 43.5% ################################ 45.3% ################################# 45.9% ################################# 46.8% ################################# 47.2% ################################## 48.3% #################################### 50.2% #################################### 50.8% ###################################### 53.0% ###################################### 54.0% ######################################## 55.6% ######################################### 57.9% ########################################### 59.9% ############################################ 62.3% ############################################# 63.9% ############################################## 65.3% ############################################### 66.0% ################################################ 67.8% ################################################## 70.1% #################################################### 72.6% ##################################################### 74.1% ###################################################### 75.4% ####################################################### 76.6% ####################################################### 77.2% ####################################################### 77.7% ######################################################### 80.5% ########################################################### 83.2% ############################################################# 84.7% ############################################################# 85.0% ############################################################## 87.0% ############################################################### 87.6% ############################################################### 88.8% ################################################################ 89.4% ################################################################# 90.7% ################################################################### 94.3% ##################################################################### 96.7% ####################################################################### 99.6% ######################################################################## 100.0% Note: Deploying gprbuild=22.0.1... #=#=# 0.0% ######## 11.2% ################################ 45.0% ############################################### 65.5% ###################################################### 75.4% ####################################################################### 98.9% ######################################################################## 100.0% Note: gprbuild=22.0.1 installed successfully. 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] s-fatlfl.ads [Ada] interfac.ads [Ada] system.ads [Ada] s-parame.ads [Ada] a-except.adb [Ada] a-assert.adb [Ada] g-souinf.ads [Ada] s-assert.adb [Ada] s-atacco.adb [Ada] s-stoele.adb [Ada] a-unccon.ads [Ada] s-maccod.ads [Ada] ada.ads [Ada] s-fatgen.adb [Ada] s-fatllf.ads [Ada] gnat.ads [Ada] i-c.adb [Ada] s-unstyp.ads [Ada] s-fatflt.ads [Ada] a-uncdea.ads [Ada] s-secsta.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_arch_interface-interrupt_handling.adb [Ada] hirtos_cpu_arch_interface.adb [Ada] hirtos_cpu_arch_interface-interrupt_handling-arch_specific.adb [Ada] hirtos_cpu_arch_interface-memory_protection-el1_mpu.adb [Ada] hirtos_cpu_multi_core_interface.adb [Ada] hirtos_cpu_arch_interface-tick_timer.adb [Ada] hirtos_cpu_arch_interface-system_registers.adb [Ada] hirtos_cpu_arch_interface-interrupt_controller.adb [Ada] hirtos_cpu_arch_interface-memory_protection.adb [Ada] hirtos_cpu_arch_parameters.ads [Ada] hirtos_cpu_arch_interface_private.ads [Ada] hirtos_cpu_arch_interface-thread_context.adb [Ada] hirtos_cpu_startup_interface.adb [Ada] number_conversion_utils.adb [Ada] memory_utils.adb [Ada] bit_sized_integer_types.ads [Ada] hirtos-debug.adb [Ada] hirtos-condvar_private.ads [Ada] hirtos-memory_protection.adb [Ada] hirtos.adb [Ada] hirtos-timer.adb [Ada] hirtos-thread_private.adb [Ada] hirtos-timer_private.adb [Ada] hirtos-interrupt_handling.adb [Ada] hirtos_config_parameters.ads [Ada] generic_linked_list.adb [Ada] hirtos-memory_protection_private.adb [Ada] generic_execution_stack.ads [Ada] hirtos-condvar.adb [Ada] hirtos-thread.adb [Ada] hirtos-mutex_private.adb [Ada] hirtos-rtos_private.adb [Ada] hirtos-interrupt_handling_private.adb [Ada] hirtos-mutex.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_15.1.2_f21ddf05/bin/../lib/gcc/arm-eabi/15.1.0/../../../../arm-eabi/bin/ld: warning: /home/runner/work/alire-crates-ci/alire-crates-ci/test/70261d73-46c9-4342-9c48-3404e8417d82/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.26 seconds. Note: Synchronizing workspace... Dependencies automatically updated as follows: +b gnat_riscv64_elf 15.1.2 (new,binary) +b gnatprove 15.1.0 (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=15.1.2... #=#=# ##O#-# 0.0% 1.3% # 2.6% ## 3.8% ### 5.2% ##### 7.8% ###### 9.3% ####### 10.3% ######### 12.9% ########## 15.1% ########### 15.5% ############ 17.2% ############# 18.1% ############## 20.4% ############### 21.0% ############### 21.7% ############### 21.7% ################ 23.2% ################## 25.8% #################### 28.1% #################### 28.9% ###################### 31.0% ####################### 32.9% ######################## 34.1% ########################## 36.1% ########################### 38.7% ############################ 39.2% ############################ 40.2% ############################# 41.3% ############################## 42.3% ############################## 42.3% ############################### 43.9% ################################# 46.4% ################################### 49.0% #################################### 50.3% ##################################### 51.6% ###################################### 54.0% ####################################### 54.2% ######################################## 56.7% ######################################### 57.4% ########################################## 59.3% ########################################## 59.7% ########################################### 60.1% ########################################### 61.0% ############################################ 61.9% ############################################# 63.0% ############################################# 63.0% ############################################## 64.5% ############################################### 65.7% ################################################ 67.0% ################################################ 68.0% ################################################ 68.0% ################################################# 68.8% ################################################## 70.1% ################################################### 70.9% ################################################### 71.4% ################################################### 72.2% #################################################### 73.1% ##################################################### 73.9% ##################################################### 74.8% ####################################################### 77.4% ######################################################### 79.5% ######################################################### 80.5% ########################################################### 82.5% ########################################################### 83.1% ############################################################ 84.2% ############################################################# 85.1% ############################################################# 85.1% ############################################################# 85.3% ############################################################# 85.4% ############################################################# 85.7% ############################################################# 85.7% ############################################################# 86.0% ############################################################## 86.2% ############################################################## 86.2% ############################################################## 86.2% ############################################################## 86.2% ############################################################## 86.2% ############################################################## 86.3% ############################################################## 86.3% ############################################################## 86.5% ############################################################## 86.8% ############################################################## 87.4% ############################################################### 87.7% ################################################################ 90.3% ################################################################## 92.8% ################################################################### 93.9% ################################################################### 93.9% #################################################################### 94.6% #################################################################### 95.4% ###################################################################### 98.0% ######################################################################## 100.0% Note: gnat_riscv64_elf=15.1.2 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] s-fatlfl.ads [Ada] interfac.ads [Ada] system.ads [Ada] s-parame.ads [Ada] a-except.adb [Ada] a-assert.adb [Ada] g-souinf.ads [Ada] s-assert.adb [Ada] s-atacco.adb [Ada] s-stoele.adb [Ada] a-unccon.ads [Ada] s-maccod.ads [Ada] ada.ads [Ada] s-fatgen.adb [Ada] s-fatllf.ads [Ada] gnat.ads [Ada] i-c.adb [Ada] s-unstyp.ads [Ada] s-fatflt.ads [Ada] a-uncdea.ads [Ada] s-secsta.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_arch_interface-interrupt_handling.adb [Ada] hirtos_cpu_arch_interface.adb [Ada] hirtos_cpu_multi_core_interface.adb [Ada] hirtos_cpu_arch_interface-tick_timer.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/70261d73-46c9-4342-9c48-3404e8417d82/hirtos_2.0.0_66847740/src/porting_layer/cpu_architectures/riscv32/hirtos_cpu_arch_interface-interrupt_handling.adb:280:26: error: procedure "Interrupt_Handler_Epilog" is marked as No_Return compilation of hirtos_cpu_arch_interface-interrupt_handling.adb failed gprbuild: *** compilation phase failed ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/70261d73-46c9-4342-9c48-3404e8417d82/hirtos_2.0.0_66847740/sample_apps/esp32_c3_hello/esp32_c3_hello.gpr"] exited with code 4 ERROR: Compilation failed. [alr test] Test action exited with error code 1