7 Aug
2007
7 Aug
'07
7:26 a.m.
Hi, On 8/3/07, Gernot Heiser <gernot@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