Post #2429466
2026-04-30 16:33 UTC
@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.
Replies (1)
-
@lispi314@udongein.xyz 2026-04-30 16:36
@kirtai@tech.lgbt Eh, the microkernel part exists and Ada is (supposedly) getting a bootstrap compiler finally (nlnet project). The problem is primarily hardware support. Which can be mitigated by rump kernel approaches among others (though that may instead lead to higher requirements than first-class support).