Helios

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.

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.

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies: