Test ran at 2024-03-15 01:22:09.157117+00:00

SOLUTION:
hirtos_separation_kernel=1.0.0: High-Integrity RTOS Separation Kernel
Origin: commit e7372ec1e07fcafeb28af66e9a62e890dce8b9d1 from https://github.com/jgrivera67/HiRTOS.git
Properties:
   Author: J. German Rivera
   Description: High-Integrity RTOS Separation Kernel
   License: Apache-2.0
   Maintainer: J. German Rivera <jgrivera67@gmail.com>
   Maintainers_Logins: jgrivera67
   Name: hirtos_separation_kernel
   Tag: hypervisor
   Version: 1.0.0
   Website: https://github.com/jgrivera67/HiRTOS
Dependencies (direct):
   gnat_arm_elf^13.2.1
   gnatprove^13.1.1
Dependencies (solution):
   gnat_arm_elf=13.2.1 (installed)
   gnatprove=13.2.1 (installed)
Dependencies (graph):
   hirtos_separation_kernel=1.0.0 --> gnat_arm_elf=13.2.1 (^13.2.1)
   hirtos_separation_kernel=1.0.0 --> gnatprove=13.2.1 (^13.1.1)   


LOG:
Failed to locate log