L4.sec status ping

[Wei Shen]

Hi,

On 8/3/07, Gernot Heiser <gernot at nicta.com.au> wrote:
>
> The commercial OKL4 microkernel is converging on the seL4 API, it
> presently contains simplified versions of IPC control and all kernel
> resource allocation is under control of a user-level policy server. It
> should implement a full seL4 API probably sometime next year.
>
> Gernot


I have several questions:
1)What does "simplified versions of IPC control" refer to?

2)"all kernel resource allocation is under control of a user-level policy
server" - does the user-level policy server refer to Iguana?

3)Can these features you noted be found in current Pistachio-e and Iguana
release? All they belong to close-source part of OKL4?

Thanks!

Wei Shen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070807/df7c7774/attachment.htm>