Helios #

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.

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.