Re: PowerPC 405
"Javier Cabezas Rodríguez" <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
Hi, This is great news. Could you tell me which is the status of the port? Could I have access to the current code? I am working in a research group and we are very interested in having the port developed as soon as possible, so we are very willing to contribute to the implementation. Best regards, -- Javi 2006/7/5, Gernot Heiser <[email protected]>: > >>>>> On Wed, 5 Jul 2006 01:01:44 +0200, "Javier Cabezas Rodríguez" <[email protected]> said: > JCR> Hello all, > JCR> I am working with a PPC 405 embedded device and I would like to have > JCR> L4 running on it. However, the PowerPC cores supported in Pistachio > JCR> are 603 and 750. I don't know if I could reuse some of the code or if > JCR> I must start the implementation from scratch. What Pistachio areas, in > JCR> your opinion, have to be reimplemented? > > We're working on a PPC 405 port, but it's a low-prio background activity. > > Gernot