Comment by senko
Comment by senko 3 days ago
Tangentially, I'd have loved to see a modern, (se)L4 based desktop (general purpose) operating system, capabilities-based, with services written in a safe language, with no legacy (POSIX) baggage.
Failing that, I hope to be able to hack on something along those lines when I retire :)
(before someone mentiones Fuchsia - Zircon is cool'n'all, but we're talking about L4 here)
This(1)(2) might hold you over for a bit: "Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers. "
It looks pretty neat - could be fun to play with!
1) https://genode.org/
2) https://genode.org/download/sculpt
They