Recording of a talk given at FOSDEM '23 in the microkernels devroom.

Helios is a simple microkernel written in part to demonstrate the applicability of the Hare programming language to kernels. This talk will introduce the design and rationale for Helios, address some details of its implementation, compare it with seL4, and elaborate on the broader plans for the system.

Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks. Helios uses Hare to implement a microkernel, largely inspired by seL4.

An introduction to the Himitsu key store for Unix systems.

https://himitsustore.org

Talk begins at 6:10. An archive of a talk presented at TechInc in Amsterdam on May 4th, 2022.

Slide deck and other resources:

https://drewdevault.com/talks/hare.html

This video cuts off at the end because obs crashed - sorry! I just said thanks for watching and that I might do a Farewell video later if you like this one.

Please play Celeste, it's really really good.

Quick follow-up to Forks & pull requests versus emails.

Also, I didn't mention it explicitly, but from this point forward every time I run git fetch, it's going to take longer as it tries to fetch random-nick's fork, until I remove this extra git remote.