On 14 Sep 2018, at 16:41, Vasily A. Sartakov <sartakov@ksyslabs.org> wrote:

Theseus OS [1], Microsoft Singularity [2] ?

1. http://www.ruf.rice.edu/~mobile/publications/boos2017plos.pdf
2. https://www.microsoft.com/en-us/research/project/singularity/

If you’re interested in a more detailed comparison between L4 and Singularity, here’s a blog (fairly dated, but so is Singularity by now):

Part 1: https://microkerneldude.wordpress.com/2008/03/13/q-what-is-the-difference-between-a-microkernel/

Part 2: https://microkerneldude.wordpress.com/2008/04/10/about-security-singularity-vs-l4-part-2/

Gernot