source

hirtos_separation_kernel

1.0.0

High-Integrity RTOS Separation Kernel

1.0.0

Authors: J. German Rivera
Maintainers: J. German Rivera <jgrivera67@gmail.com>
Maintainer profiles: @jgrivera67
Licenses: Apache-2.0
Website: https://github.com/jgrivera67/HiRTOS
Repository: github.com/jgrivera67/HiRTOS
Source revision: e7372ec1e07f
Source directory: ./hirtos_separation_kernel/
Tags: hypervisor
Manifest: index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml