View source for Introducing Helios (talk)

{{Event
|Date=2023/01/11
|Time=19:00
|Location=Techinc
|EventType=Lecture
|MediaPromotionType=No Promotion
|Contact=Drew DeVault
}}
Test-driving a talk I'm planning to give at FOSDEM to get a feel for the timing. Feedback welcome!

Helios is a simple microkernel written in part to demonstrate the applicability of the Hare programming language to kernels. This talk introduces the motivations, design, and implementation of Helios.

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.