On: HelenOS: a microkernel-based, multiserver OS from ...

[pmarreck]

I'm kind of biased towards hypothetical OS'es built from the ground up in a memory-safe system language like Rust (assuming one exists, which I'm not sure). All you have to do is look at the litany of security holes of the past decade or 2 to see how often a lack of memory safety led to a security bug. Do you know of one?

[still_grokking → pmarreck]

SerenityOS isn't a memory safe OS. That's for sure. No innovation here…

But anyway, there are not much safe OSes out there I guess.

There are all the Rust experiments (with usually a shitload of `unsafe` code in there).

There was the Midori experiment by MS (no clue whether there is source code available).

There have been Java based OSes.

But all in all, there doesn't seem to be anything that has got any traction.