[okl4-developer] where can i find a manual of L4 kernel API version 4 ?

[Gernot Heiser]

>>>>> On Thu, 13 Nov 2008 14:16:38 EST, Wmarketing3 <wmarketing3 at aol.com> said:
W> Gernot
W> Thank you for that partial clarification.
 
W> Based on your reply, would it be correct to say:
 
W> 1) The API for the Pistachio branch is frozen and is at the end of development,
W> including maintenance and bug fixes?

Pistachio is Karlsruhe's baby, I cannot speak for them. It is my
understanding that there are people working on maintenance and some
degree of development, but I believe they stopped supporting any
architectures other than x86. You'll need to ask them for
details.
 
W> 2) The API for OKL4 development which originally followed Pistachio has now
W> diverged enough that developers should
W>     make a decision whether to migrate to OKL4?

OKL4 never "followed Pistachio". NICTA forked their version off
Pistachio about 4 years ago to make it suitable for embedded use. OKL4
is the successor of the NICTA version.

If you are interested in embedded-systems use, then OKL4 is the
appropriate version.
 
W> 3) That further processor architecture support will occur only on the OKL4
W> development branch?

Again, I can't speak for Karlsruhe's plans, but given that they
recently obsoleted all non-x86 versions, there are no obvious signs of
ports to other architectures in the pipeline.

OKL4 presently is supported for x86, ARM and MIPS. Others may
follow. A SPARC/Niagara port has recently been contributed, but is not
supported by OK Labs.

Gernot