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/
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/