(nb) Marzipan on PPC ?

Hello,

I've read Marzipan is not available on PPC, but can be.
Is it available??? If not, would it need a lot of work to port it on ppc?

"Supported Systems The resource monitor supports IA32 and IA64 systems. The
other platforms of L4Ka::Pistachio's rich platform support can be enabled as
necessary."

thanks

-- 
Antonin Subtil,
35 rue Donissan
FR-33000 Bordeaux
+33 (0)6.77.40.17.69