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

[Geoffrey Lee]

On Wed, Nov 12, 2008 at 10:43:53AM +0800, 163 wrote:
> Hi all:
> 
> Fiasco , Pistachio & OKL4 are all based on the L4 kernel API version 4?

The OKL4 kernel is derived from Pistachio but our on-going development
efforts on the current OKL4 kernel has made it quite different from
Pistachio.

> 
> i got Pistahio from mecurial, and the manual of L4 kernel API is contained in it?
> 


Pistachio does have a reference manual but I'm not sure if it is the
source these days.  The documentation for OKL4 is on the OKL4
wiki site.


> 
> Best Regards!
> 
> zhhwu

	-gl

> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer


--