Introducing Helios
A small, practical microkernel
- Track: Lightning Talks
- Room: H.2215 (Ferrer)
- Day: Saturday
- Start: 12:00
- End: 12:15
- Video only: h2215_ferrer
- Chat: Join the conversation!
Helios is a simple microkernel written in part to demonstrate the applicability of the Hare programming language to kernels. This talk briefly explains why Helios is interesting and is a teaser for a more in-depth talk in the microkernel room tomorrow.
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.
Speakers
| Drew DeVault |