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

[Gernot Heiser]

>>>>> On Thu, 13 Nov 2008 00:34:52 EST, Wmarketing3 <wmarketing3 at aol.com> said:
W> Hello Geoffery Lee,
W> Could you please clarify the message you recently posted regarding how the
W> current released OKL4 kernel differs from the
W> Pistachio release.

W> Can you explain, in detail, how the on-going development will change the current
W> OKL4 kernel and if possible can you provide a release
W> roadmap that tells us when the 'differences' between your team is working on
W> will be made part of the main release.

They won't. OKL4, while a descendent of Pistachio, is an independent
system now. I think it's fair to say that any API development on
L4Ka::Pistachio is minimal at the moment, while OKL4 is evolving
rapidly. Its present (and past) API is well-documented on
okl4.org.

There are no plans of merging the two together.

Gernot