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.