Andrew Tannenbaum goes into detail in his exploration on how to make operating systems reliable: https://www.openu.ac.il/home/wiseman/2os/microkernels/tanenbau

Andrew Tannenbaum goes into detail in his exploration on how to make operating systems reliable: https://www.openu.ac.il/home/wiseman/2os/microkernels/tanenbaum.pdf 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/ 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://os.inf.tu-dresden.de/papers_ps/nizza.pdf https://genode.org/ https://genode.org/