Post #2429461
2026-04-30 16:27 UTC
@kirtai@tech.lgbt Indeed, but that's a minor issue as Language-Based Security and Capabilities alike can achieve adequate isolation in a monolithic system.
Simply provide no unstructured direct access to memory to the language and system interfaces. Then everything has to operate with references as de-facto capabilities.
Same or greater performance can be achieved as a lot of the indirections necessary in weaker languages are obsoleted by this.
Microkernels are a way to achieve that despite C's limitations.
Replies (2)
-
@kirtai@tech.lgbt 2026-04-30 16:31
@lispi314@udongein.xyz @zardoz03@mastodon.online Well yeah, but I was specifically referring to Linux history here.
-
@kirtai@tech.lgbt 2026-04-30 16:33
@lispi314@udongein.xyz I would love a system with a secure microkernel written in something like Ada, with servers written in a powerful, secure language like some kind of Lisp and the user shell written in something like Smalltalk. Chances of getting one is zero but it's nice to dream of.