Hi!

When OKL4 was still NICTA::Pistachio-embedded, I've ported the Kernel and the Embedded Systems Framework to PowerPC. You can download the source code here: http://martin.christianix.de/

I'm currently living in Prague looking for an embedded systems job. It would be perfect, if I could continue working with L4 kernels.

Best,

Martin Christian

Email: <martin AT SPAMFREE christianix DOT de>