Bayle Shanks's website: notes-computer-systems-greenField2

SPIN

https://en.wikipedia.org/wiki/SPIN_(operating_system)

---

Midori

https://en.wikipedia.org/wiki/Midori_(operating_system)

---

Kestrel

https://kestrelcomputer.github.io/kestrel/ https://hackaday.io/project/10035-kestrel-computer-project https://github.com/kestrelcomputer

---

Oberon

https://dercuano.github.io/notes/oberon.html

---

Misc

article about Oberon, Plan 9, Inferno, Harvey OS and Jehanne OS https://blog.tsr-podcast.com/index.php/2021/05/13/episode-76-oberon-plan-9-inferno/

---

some comments about https://ares-os.org/ which talk about other supposedly good OS architectures:

" ~ ethoh edited 18 hours ago

link

flag

    That said, the actual technology seems solid but not particularly novel, from what little is actually written there.

And that’s a good thing. Better keep experimentation to a minimum (writing it in Hare is the experiment).

He’s otherwise selected the best architecture available: Multiserver system based on a 3rd gen microkernel.

It means that his system is better at a fundamental level relative to the most prominent operating systems in use today.

    5
    icefox 14 hours ago | link | flag |

“Better at a fundamental level” and an empty sack is worth the sack.

    ~
    ethoh edited 4 hours ago | link | flag |

Much higher potential than any boring “yet another UNIX” or “yet another 1st gen microkernel”. There’s hundreds of those projects, the most popular (and one of the worst) being Linux.

In contrast, there’s few that looked at the state of the art, selected the best technologies and made something that isn’t architecturally bankrupt from the get-go:

    https://genode.org/
    https://sel4.systems/
    https://trustworthy.systems/projects/TS/makatea
    https://sr.ht/~sircmpwn/helios/

That’s about it. Well, there’s also a few non-opensource ones, but I’d rather focus on open source.

---