Helios is the microkernel at the heart of Ares. Documentation is provided here for the set of supported syscalls, capabilities, and other concerns via the navigation on the left.
Getting Helios #
The Helios kernel source code is available on SourceHut. Instructions for building, booting, and deploying the kernel are provided in the repository.
High-level design #
The Helios design draws inspiration from seL4. The kernel provides access to kernel interfaces and IPC via capability objects for the purpose of allocating and mapping pages, accessing I/O ports and IRQs, and creating and using IPC primitives.