Test ran at 2025-09-19 00:41:58.798694+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.2.1 (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.2.1... #=#=# 1.3% ### 4.6% #### 6.9% ###### 8.9% ######## 11.8% ######## 12.2% ######## 12.3% ########## 14.2% ########### 15.7% ########### 16.5% ############# 19.0% ############## 19.7% ############## 20.5% ############### 21.2% ################# 23.8% #################### 28.3% ###################### 30.8% ####################### 33.0% ######################### 35.6% ########################### 38.1% ############################## 42.6% ################################## 47.6% ##################################### 51.8% ######################################## 56.5% ######################################## 56.8% ######################################### 57.1% ######################################### 57.3% ######################################### 57.5% ######################################### 58.3% ########################################## 58.9% ########################################### 60.1% ############################################# 63.0% ################################################ 67.2% ################################################## 70.6% #################################################### 73.0% ###################################################### 75.9% ######################################################### 79.5% ########################################################### 82.5% ############################################################# 85.8% ################################################################ 90.2% ################################################################### 94.4% ####################################################################### 98.9% ######################################################################## 100.0% Note: gnat_arm_elf=15.2.1 installed successfully. Note: Deploying gnatprove=15.1.0... #=#=# # 1.8% ## 3.4% ## 3.5% #### 6.1% ###### 9.1% ######## 11.1% ######## 12.4% ########## 14.2% ############ 16.7% ############ 17.8% ############## 19.5% ############### 21.3% ################ 23.0% ################## 25.6% #################### 28.5% ####################### 33.0% ######################## 33.6% ######################### 35.1% ######################### 35.4% ########################## 36.5% ########################### 38.5% ############################ 38.9% ############################# 40.7% ############################## 42.7% ################################ 45.4% ################################## 47.8% #################################### 50.3% #################################### 51.3% ####################################### 54.9% ######################################## 56.6% ########################################### 60.2% ############################################# 63.4% ################################################ 67.2% ################################################# 69.3% ################################################## 70.8% ################################################### 72.2% ##################################################### 74.7% ######################################################## 78.0% ######################################################### 79.6% ########################################################## 81.4% ########################################################### 82.8% ############################################################ 84.3% ############################################################## 86.7% ############################################################### 88.5% ################################################################ 90.3% ################################################################### 93.5% ################################################################### 93.8% #################################################################### 95.6% ###################################################################### 97.8% ######################################################################## 100.0% Note: Deploying gprbuild=22.0.1... #=#=# ####### 9.8% ######################## 34.4% ################################# 47.0% ##################################################### 74.8% ######################################################################## 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] 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 [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_15.2.1_a927173b/bin/../lib/gcc/arm-eabi/15.2.0/../../../../arm-eabi/bin/ld.exe: warning: D:\a\alire-crates-ci\alire-crates-ci\test\1e52b51b-81ba-4fbf-8f61-8c05b6637872\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 4.65 seconds. Note: Synchronizing workspace... Dependencies automatically updated as follows: +b gnat_riscv64_elf 15.2.1 (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.2.1... #=#=# # 2.0% #### 6.2% ######### 12.7% ############# 18.6% ############### 21.8% ################### 27.6% ######################## 33.5% ########################## 37.2% ############################### 43.7% ################################## 48.0% ###################################### 53.0% ######################################### 57.5% ############################################## 65.2% ################################################## 70.1% ##################################################### 74.7% ######################################################### 80.3% ############################################################## 86.4% ################################################################### 93.9% ####################################################################### 99.5% ######################################################################## 100.0% Note: gnat_riscv64_elf=15.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 D:\a\alire-crates-ci\alire-crates-ci\test\1e52b51b-81ba-4fbf-8f61-8c05b6637872\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 D:\a\alire-crates-ci\alire-crates-ci\test\1e52b51b-81ba-4fbf-8f61-8c05b6637872\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 compilation of hirtos_cpu_arch_interface-thread_context.adb failed gprbuild: *** compilation phase failed ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\1e52b51b-81ba-4fbf-8f61-8c05b6637872\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