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

[Jan Stoess]

> -----Original Message-----
> From: developer-bounces at okl4.org [mailto:developer-bounces at okl4.org] On
> Behalf Of Gernot Heiser
> Sent: Thursday, November 13, 2008 5:01 PM
>
> 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.
[...]
> 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.

As one of the current maintainers of L4KA::Pistachio, let me quickly jump in and confirm Gernot's understanding:

1) There hasn't been any significant API change of L4KA::Pistachio in recent years. As a side note, we have some internal API prototypes containing enhancements for virtualization and scheduling, which we might -- or might not -- release as an API sometime in the future.

2) We are mostly focused on x86 in Karlsruhe these days. The current L4KA:Pistachio code base contains and x86 (32/64-bit) and a powerpc (32/64-bit) port, with the former being used regularly (by ourselves), and the latter currently not. Also, no other ports are currently planned.

-Jan

--
Jan Stoess
System Architecture Group
University of Karlsruhe
Phone: +49 (721) 608-4056
Fax: +49 (721) 608-7664
eMail: stoess at ira.uka.de
1