Hacker News new | past | comments | ask | show | jobs | submit login

Andrew Tannenbaum goes into detail in his exploration on how to make operating systems reliable:

https://www.openu.ac.il/home/wiseman/2os/microkernels/tanenb...

In a debate with Torvalds, he also cites a lot of examples of microkernel use:

https://www.cs.vu.nl/~ast/reliable-os/

Although most are commercial, Genode is an example of an open-source system built with the architecture. It's a variation of Nizza architecture whose idea was to minimize attack surface and complexity to just what a specific application needs.

https://os.inf.tu-dresden.de/papers_ps/nizza.pdf

https://genode.org/




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: