AW: L4Ka::Pistachio for PowerPC?

Hi!
Thanks for all the status reports. At least some still have PowerPC in
their mind.

> I was under the impression that some people in Sydney occasionally use
PowerPC.
In the beginning I was comparing L4Ka::Pistachio to NICTA::Pistachio.
But they changed the L4 specification and didn't fit the PowerPC to it.
Since I was bound to PowerPC, L4Ka::Pistachio seemed to be the best
choice. I "only" need to do the platform port and not the architecture.
But since I want to run a Linux on top of Pistachio, I might have to
move anyways.

@Gernot: Is that the "offical" status of NICTA::Pistachio? So there is
no need to ask at the NICTA mailing list for a status of the PowerPC
port?

> I sadly have no time to even answer my personal e-mails.
So at least I know now, it were not my questions. :-)

If there is nobody left with PowerPC experience, would there
nevertheless be someone to send patches to?

Thanks again,

Martin.