Information on implementing L4

[Gernot Heiser]

On 14 Sep 2018, at 16:41, Vasily A. Sartakov <sartakov at 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-between-a-microkernel/ <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/ <https://microkerneldude.wordpress.com/2008/04/10/about-security-singularity-vs-l4-part-2/>

Gernot
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20180914/802ab6aa/attachment.htm>