Test ran at 2024-04-17 01:27:32.090076+00:00 SOLUTION: hirtos=1.0.0: High-Integrity RTOS Origin: commit e7372ec1e07fcafeb28af66e9a62e890dce8b9d1 from https://github.com/jgrivera67/HiRTOS.git Properties: Author: J. German Rivera Config type: Separation_Kernel_Debug_Tracing_On : Boolean default: 'false' Configuration: no modifiers Description: High-Integrity RTOS License: Apache-2.0 Maintainer: J. German Rivera Maintainers_Logins: jgrivera67 Name: hirtos Tag: rtos Version: 1.0.0 Website: https://github.com/jgrivera67/HiRTOS Dependencies (direct): gnat_arm_elf^13.2.1 gnatprove^13.2.1 Dependencies (solution): gnat_arm_elf=13.2.1 (installed) gnatprove=13.2.1 (installed) Dependencies (graph): hirtos=1.0.0 --> gnat_arm_elf=13.2.1 (^13.2.1) hirtos=1.0.0 --> gnatprove=13.2.1 (^13.2.1) LOG: Note: Deploying hirtos=1.0.0... Note: Deploying gnat_arm_elf=13.2.1... #=#=# ## 3.1% ##### 7.5% ####### 10.7% ######### 13.4% ############ 16.7% ############## 20.1% ################ 23.6% ################### 27.2% ###################### 30.8% ######################## 34.4% ########################## 36.7% ########################### 38.7% ############################# 40.3% ############################## 42.0% ############################### 43.8% ################################ 45.7% ################################## 47.7% ################################### 49.7% ##################################### 51.8% ###################################### 53.9% ######################################## 56.3% ########################################## 58.4% ########################################### 59.8% ############################################ 61.4% ############################################# 63.1% ############################################## 64.4% ############################################### 66.3% ################################################# 68.1% ################################################## 69.8% ################################################### 70.9% ################################################### 71.9% #################################################### 72.9% ##################################################### 73.9% ##################################################### 75.0% ###################################################### 76.0% ####################################################### 77.3% ######################################################## 78.6% ######################################################### 79.8% ########################################################## 81.0% ########################################################### 82.2% ############################################################ 83.7% ############################################################# 85.2% ############################################################## 86.7% ############################################################### 88.3% ################################################################ 89.9% ################################################################## 91.7% ################################################################### 93.5% #################################################################### 95.3% ##################################################################### 97.1% ####################################################################### 98.9% ######################################################################## 100.0% Note: gnat_arm_elf=13.2.1 installed successfully. Note: Deploying gnatprove=13.2.1... #=#=# # 1.7% ## 3.7% #### 5.6% ##### 7.6% ###### 9.4% ######## 11.3% ######### 13.3% ########### 15.6% ############ 17.7% ############## 19.9% ############### 22.1% ################# 24.3% ################## 25.9% ################### 27.7% ##################### 29.5% ###################### 31.4% ####################### 33.3% ######################### 35.3% ########################## 37.4% ############################ 39.2% ############################# 41.4% ############################### 43.3% ################################ 45.0% ################################# 47.1% ################################### 49.5% ##################################### 51.8% ###################################### 54.0% ######################################## 55.9% ######################################### 57.8% ########################################## 59.5% ############################################ 61.3% ############################################# 62.8% ############################################## 64.0% ############################################### 65.6% ################################################ 67.1% ################################################# 68.7% ################################################## 70.3% ################################################### 72.0% #################################################### 73.6% ###################################################### 75.5% ####################################################### 77.4% ######################################################## 79.1% ########################################################## 81.1% ########################################################### 83.2% ############################################################# 85.4% ############################################################### 87.6% ################################################################ 89.8% ################################################################## 92.0% #################################################################### 94.5% ##################################################################### 97.0% ####################################################################### 99.6% ######################################################################## 100.0% Note: gnatprove=13.2.1 installed successfully. Note: Building hirtos/hirtos.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 Compile [Ada] ada.ads [Ada] s-fatflt.ads [Ada] gnat.ads [Ada] s-assert.adb [Ada] a-uncdea.ads [Ada] s-fatllf.ads [Ada] s-stoele.adb [Ada] a-assert.adb [Ada] i-c.adb [Ada] s-fatgen.adb [Ada] s-atacco.adb [Ada] s-maccod.ads [Ada] s-parame.ads [Ada] g-souinf.ads [Ada] s-unstyp.ads [Ada] a-unccon.ads [Ada] interfac.ads [Ada] system.ads [Ada] s-secsta.adb [Ada] s-fatlfl.ads [Ada] a-except.adb [Asm_Cpp] hirtos_cpu_startup_asm.S [C] mem_utils.c [Ada] hirtos_config.ads [Ada] hirtos_platform_parameters.ads [Ada] hirtos_low_level_debug_interface.adb [Ada] uart_driver.adb [Ada] hirtos_cpu_arch_interface-interrupts.ads [Ada] hirtos_cpu_arch_interface.adb [Ada] hirtos_cpu_arch_interface-interrupt_handling.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/platforms/arm_fvp/uart_driver.ads:495:08: (style) space not allowed [Ada] hirtos_cpu_multi_core_interface.adb [Ada] hirtos_cpu_arch_interface-system_registers.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/hirtos_cpu_arch_interface.ads:49:05: warning: postcondition does not mention function result [-gnatw.t] [Ada] hirtos_cpu_arch_parameters.ads [Ada] hirtos_cpu_arch_interface-tick_timer.adb [Ada] hirtos_cpu_arch_interface-memory_protection.adb [Ada] hirtos_cpu_startup_interface.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-interrupt_handling.adb:111:07: warning: use clause for type "System.Storage_Elements.Integer_Address" has no effect [-gnatwu] /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-interrupt_handling.adb:274:07: warning: use clause for type "System.Storage_Elements.Integer_Address" has no effect [-gnatwu] [Ada] hirtos_cpu_arch_interface-interrupt_controller.adb [Ada] hirtos_cpu_arch_interface_private.ads [Ada] hirtos_cpu_arch_interface-thread_context.adb [Ada] hirtos_cpu_arch_interface-memory_protection-el1_mpu.adb [Ada] memory_utils.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-thread_context.adb:32:55: (style) space not allowed /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-thread_context.adb:32:68: (style) space not allowed /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-thread_context.ads:49:72: (style) space not allowed [Ada] bit_sized_integer_types.ads [Ada] hirtos-interrupt_handling.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/utils/memory_utils.adb:13:04: warning: use clause for type "System.Storage_Elements.Integer_Address" has no effect [-gnatwu] [Ada] hirtos-interrupt_handling_private.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-memory_protection.ads:23:04: warning: use clause for type "System.Storage_Elements.Integer_Address" has no effect [-gnatwu] /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-memory_protection.ads:516:08: (style) space not allowed [Ada] hirtos-debug.adb [Ada] hirtos.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/porting_layer/cpu_architectures/armv8r_aarch32/hirtos_cpu_arch_interface-interrupt_controller.adb:195:07: warning: use clause for type "Valid_Cpu_Core_Id_Type" defined at hirtos_cpu_multi_core_interface.ads:32 has no effect [-gnatwu] [Ada] hirtos-condvar_private.ads [Ada] hirtos-memory_protection.adb [Ada] hirtos-condvar.adb [Ada] hirtos-rtos_private.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection.adb:37:64: warning: condition is always True [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection.adb:103:63: warning: condition is always False [-gnatwc] [Ada] hirtos-mutex.adb [Ada] generic_linked_list.adb [Ada] hirtos-timer_private.adb [Ada] hirtos-memory_protection_private.adb [Ada] hirtos_config_parameters.ads [Ada] hirtos-timer.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection_private.adb:81:62: warning: condition is always True [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection_private.adb:96:62: warning: condition is always False [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection_private.adb:129:62: warning: condition is always False [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos-memory_protection_private.adb:132:62: warning: condition is always True [-gnatwc] [Ada] generic_execution_stack.ads [Ada] hirtos-mutex_private.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos.adb:79:20: (style) space required /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos.adb:208:61: (style) space not allowed /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos.ads:342:62: (style) space not allowed [Ada] hirtos-thread_private.adb [Ada] hirtos-thread.adb /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos-timer_private.adb:93:70: warning: condition is always True [-gnatwc] /home/runner/work/alire-crates-ci/alire-crates-ci/test/892b17c8-a438-4471-8c93-bb28d802db2b/hirtos_1.0.0_e7372ec1/src/hirtos-timer_private.adb:146:76: warning: condition is always False [-gnatwc] [Ada] number_conversion_utils.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 Build finished successfully in 1.90 seconds. hirtos=1.0.0 successfully retrieved and built. Dependencies were solved as follows: +i gnat_arm_elf 13.2.1 (new,installed) +i gnatprove 13.2.1 (new,installed) Found declared GPR file: hirtos.gpr