Test ran at 2024-04-09 13:09:46.962608+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... #=#=# #### 5.7% ######### 13.4% ############### 21.5% ##################### 30.0% ########################### 38.1% ################################ 45.8% ###################################### 53.8% ############################################ 61.5% ################################################# 68.8% ##################################################### 74.2% ######################################################### 79.7% ############################################################# 84.9% ################################################################## 92.9% ######################################################################## 100.0% Note: gnat_arm_elf=13.2.1 installed successfully. Note: Deploying gnatprove=13.2.1... 0.0% ###### 9.5% ############ 17.0% ################### 27.1% ########################## 37.4% ################################## 47.4% ######################################### 57.3% ################################################ 67.4% ####################################################### 77.3% ############################################################### 87.9% ###################################################################### 97.7% ######################################################################## 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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/hirtos_1.0.0_e7372ec1/src/hirtos.adb:79:20: (style) space required /home/runner/work/alire-crates-ci/alire-crates-ci/test/3be0d72f-590b-4223-9e8d-020b18e85901/hirtos_1.0.0_e7372ec1/src/hirtos.adb:208:61: (style) space not allowed /home/runner/work/alire-crates-ci/alire-crates-ci/test/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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/3be0d72f-590b-4223-9e8d-020b18e85901/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.92 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