A developer details the redesign of their microkernel, Hermes, from scratch, focusing on improved design and SMP support.
A guide to writing device drivers for the Helios microkernel using the Mercury driver environment, focusing on capability-based security.
A developer details the first steps of porting the Helios microkernel from x86_64 to aarch64, focusing on the bootloader development.
Author's schedule and talks at FOSDEM 2023, covering the Helios microkernel, Hare programming language, and SourceHut platform.
Explores implementing multi-threading in the Hare programming language for the Helios micro-kernel, covering kernel and userspace design.
A developer introduces Helios, a new capability-based microkernel written in Hare, detailing its design, current features, and future plans for a complete OS.
The author announces the public release of the Hare programming language and details several new projects built with it, including a micro-kernel and a secret storage system.
