Re: Information on implementing L4
Gernot Heiser <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
On 14 Sep 2018, at 16:41, Vasily A. Sartakov <[email protected]> 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 _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers