Hi,<br><br>
<div><span class="gmail_quote">On 8/3/07, <b class="gmail_sendername">Gernot Heiser</b> &lt;<a href="mailto:gernot@nicta.com.au">gernot@nicta.com.au</a>&gt; wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">The commercial OKL4 microkernel is converging on the seL4 API, it<br>presently contains simplified versions of IPC control and all kernel
<br>resource allocation is under control of a user-level policy server. It<br>should implement a full seL4 API probably sometime next year.<br><br>Gernot</blockquote>
<div>&nbsp;</div>
<div>I have several questions: </div>
<div>1)What does &quot;simplified versions of IPC control&quot; refer to?</div>
<div>&nbsp;</div>
<div>2)&quot;all kernel resource allocation is under control of a user-level policy server&quot; - does the user-level policy server refer to Iguana?</div>
<div>&nbsp;</div>
<div>3)Can these features you noted be found in current Pistachio-e and Iguana release? All they belong to close-source part of OKL4?</div><br>Thanks!</div>
<div>&nbsp;</div>
<div>Wei Shen</div>