Hacker News with Generative AI: Microkernels

The SeL4 Microkernel: An Introduction [pdf] (sel4.systems)
Operating Systems, Microkernels, Security
264 points by snvzz 12 days ago | 188 comments
Show HN: My microkernel-based OS built from scratch now has basic Unix commands (github.com/lux-operating-system)
lux (intentionally stylized in lowercase) is a portable work-in-progress microkernel written from scratch that currently runs on x86_64, with future plans for an ARM64 port.
Operating Systems, Open Source, Programming, Microkernels, Unix
69 points by jewelcodesxo 177 days ago | 8 comments
Why no (se)L4 microkernel/hypervisor based browser? (ycombinator.com)
For example, Microsoft's Gazelle and Illinois Browser OS build their browsers based on a secure kernel, so why no (se)L4 microkernel/hypervisor based browser?
Operating Systems, Browsers, Security, Microkernels
10 points by iloveappleman 198 days ago | 6 comments
Ask HN: What runs L4-related microkernels/hypervisors these days? (ycombinator.com)
I've been learning about the L4 microkernel, and am thinking about doing something related to it for a research project.
Operating Systems, Microkernels, Research, Hypervisors, Linux
115 points by AlexWandell 199 days ago | 55 comments
Managarm: Pragmatic microkernel-based OS with asynchronous I/O (github.com/managarm)
Operating Systems, Microkernels, Asynchronous I/O
160 points by ksp-atlas 250 days ago | 59 comments
From L3 to seL4: 20 years of L4 microkernels (2013) [video] (youtube.com)
Operating Systems, Microkernels, History, Software, Video
71 points by tambourine_man 354 days ago | 40 comments