Drew DeVault • 6/13/2022

The Helios microkernel

Read Original

The article details the Helios microkernel project, a capability-based kernel written in Hare and inspired by seL4. It covers its current status (memory management, drivers), planned features (preemptive multitasking), and the vision for a full operating system with components named after celestial bodies. The author discusses testing on real hardware and the project's ambitious goals for real-world usability.

0 comments
#Operating Systems #Hare #Microkernel
The Helios microkernel

Comments

No comments yet

Be the first to share your thoughts!

Browser Extension

Get instant access to AllDevBlogs from your browser

Top of the Week

1
React, useEffect, and Stale Closures: How to Avoid Them with Dependencies and useRef
Jivbcoop • 4 votes
2
Using Browser Apis In React Practical Guide
Jivbcoop • 2 votes
3
Better react-hook-form Smart Form Components
Maarten Hus • 2 votes
4
Top picks — 2026 January
Paweł Grzybek • 1 votes
5
In Praise of –dry-run
Henrik Warne • 1 votes
6
Deep Learning is Powerful Because It Makes Hard Things Easy - Reflections 10 Years On
Ferenc Huszár • 1 votes
7
Vibe coding your first iOS app
William Denniss • 1 votes
8
AGI, ASI, A*I – Do we have all we need to get there?
John D. Cook • 1 votes
9
Quoting Thariq Shihipar
Simon Willison • 1 votes
10
Dew Drop – January 15, 2026 (#4583)
Alvin Ashcraft • 1 votes