Difference between revisions of "Introducing Helios (talk)"
(Created page with "{{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...") |
(No difference)
|
Latest revision as of 13:41, 9 January 2023
Introducing Helios (talk) | |
---|---|
Date | 2023/01/11 |
Time | 19:00 |
Location | Techinc |
Type | Lecture |
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.