About Helios
An experimental microkernel inspired by seL4 for the Ares Operating System.
Information
| Website | https://ares-os.org/ |
|---|---|
| Developer | Drew DeVault |
| Tags | |
| Kernel Type | microkernel |
| License | GPLv3 |
| Architectures | x86_64,aarch64 |
| Programming Languages | Hare |
Comments (0)
No comments yet. Be the first to share your thoughts!