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 <http://www.ruf.rice.edu/~mobile/publications/boos2017plos.pdf> 2. https://www.microsoft.com/en-us/research/project/singularity/ <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-be... <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-... <https://microkerneldude.wordpress.com/2008/04/10/about-security-singularity-vs-l4-part-2/> Gernot