Re: L4Ka::Pistachio for PowerPC?
"Krzysztof Kepa" <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
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.