[okl4-developer] What's the status... of OKL4 on PPC?

[Jorge Torres]

Hi,

OKL4 is based on L4Ka, but it has changed a lot since then, there was  a
port to the L4PISTACHIO-NICTA before OKL4 to the PPC by
Martin Christian, http://martin.christianix.de/ (Es ist in den Deutsch)
All the best,

Jorge

On Wed, Apr 9, 2008 at 6:36 AM, Antonin SUBTIL <antonin.subtil at gmail.com>
wrote:

> As PPC is not ready for OKL4, can I used L4:Ka, which is ready for ppc
> (according to l4ka.org) and Iguana on top of it? (I thought OKL4 µkernel
> was L4Ka, and then would support ppc)
>
> Thanks
>
> antonin
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080409/3f662c3b/attachment.htm