On 14 Sep 2018, at 16:41, Vasily A. Sartakov sartakov@ksyslabs.org wrote:
Theseus OS [1], Microsoft Singularity [2] ?
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