Information on implementing L4

Vasily A. Sartakov sartakov at ksyslabs.org
Fri Sep 14 08:41:43 CEST 2018


Hello 

> Yes, basically. I'm talking about OSes that integrate some form of language-specific VM at a fundamental level, often depending on the VM for security.
> 

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/


More information about the l4-hackers mailing list