Re: Information on implementing L4
"Vasily A. Sartakov" <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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/