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

[Antonin SUBTIL]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080409/8630ee66/attachment.htm