Hacker News with Generative AI: Microkernels

Starina Microkernel OS (starina.dev)
Starina ("star" + "-ina") is a new open-source operating system aiming to be a production-ready, general-purpose, secure OS with a microkernel architecture.

Operating Systems, Open Source, Microkernels

10 points by apitman 38 days ago | 3 comments

The SeL4 Microkernel: An Introduction [pdf] (sel4.systems)

Operating Systems, Microkernels, Security

264 points by snvzz 97 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 262 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 282 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 284 days ago | 55 comments

Managarm: Pragmatic microkernel-based OS with asynchronous I/O (github.com/managarm)