Hi,<br><br>
<div><span class="gmail_quote">On 8/2/07, <b class="gmail_sendername">Marcus Voelp</b> &lt;<a href="mailto:voelp@os.inf.tu-dresden.de">voelp@os.inf.tu-dresden.de</a>&gt; wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">L4.sec is (and probably will be for quite some time) an experiment that<br>is still worked on in our group. Mainly due to maintenance and support
<br>issues the sources have not been officially released yet. Our roadmap<br>regarding L4.sec is to continue experimenting with capabilities and user controlled kernel memory management. Some of the results we already integrated into the Fiasco kernel, which is our mainstream kernel as for now. These include kernel memory quotas, security monitor style IPC permissions (though no local names yet).
</blockquote>
<div>&nbsp;</div>
<div>What does &quot;security monitor style IPC permissions&quot; mean? Can it be found in current Fiasco release?</div><br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">Others are likely to be integrated in some form in the Nova microhypervisor, which we are currently developing in the course of the Robin project.
</blockquote>
<div>&nbsp;</div>
<div>Where can I find information about Nova and Robin? Are there any English documentation?</div>
<div>&nbsp;</div>
<div>Regards,</div>
<div>&nbsp;</div>
<div>Wei Shen</div><br>&nbsp;</div>