Hi Martin,
Our group in Galway started to use it, but currently only the IA32 flavour
running on regular PC to familiarize with...
We are mainly interested in embedded port of L4 on PPC (PPC405) and
application in reconfigurable computing area....Anyway we plan to push the
PPC port a little bit further in near future (mean few months).
AFAIK the 'Australian gang' from NICTA has PPC405 version 'half finished',
so maybe they will help you more?Try to ask people from Iguana/Wombat/Driver
list at ERTOS website.
Krzysiek
----- Original Message -----
From: "Christian, Martin, OPEE45" <[EMAIL PROTECTED]>
To: <[EMAIL PROTECTED]>
Sent: Tuesday, December 05, 2006 2:02 PM
Subject: L4Ka::Pistachio for PowerPC?
Hi!
Is actually anybody using and/or developing Pistachio for PowerPC?
Since my questions got answered quite rarely, I assume they are either
stupid or nobody is working with Pistachio on PowerPC?!
Martin.
