L4.sec status ping
cquark at gmail.com
Tue Aug 7 07:26:58 CEST 2007
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.
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers