Re: PowerPC 405
Carl van Schaik <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
Hi Javier, I have started a port to PPC405 on the NICTA::Pistachio kernel varient, however due to work commitments, I have not had time yet to complete this port. My aim is to have a port which can support 603 and 405 and possibly other styles of powerpc processors from embedded side through to desktop /server processors. I would be happy to discuss my ideas for the port and might be able to find a way to work with you on this. regards, Carl > Date: Wed, 5 Jul 2006 01:01:44 +0200 > From: " Javier Cabezas Rodr?guez " <[email protected]> > Subject: PowerPC 405 > To: [email protected] > Message-ID: > <[email protected]> > Content-Type: text/plain; charset=ISO-8859-1; format=flowed > > Hello all, > > I am working with a PPC 405 embedded device and I would like to have > L4 running on it. However, the PowerPC cores supported in Pistachio > are 603 and 750. I don't know if I could reuse some of the code or if > I must start the implementation from scratch. What Pistachio areas, in > your opinion, have to be reimplemented? > > Thank you in advance. >